theorem :: NUMBER18:27

Mersenne_Primes c= SetPrimes