Lucas-Lehmer test
Redirect to:
Lucas–Lehmer primality test