theorem :: NUMBER18:28

Fermat_Primes c= SetPrimes