User:MarcSherman1/sandbox

https://en.wikipedia.org/wiki/Lucas%E2%80%93Lehmer_primality_test