Lucas-Lehmer primality test

1. REDIRECT Lucas–Lehmer primality test

{{R from modification}}