Mersenne_Primes.Lucas_Lehmer_Auxiliary