theorem :: NUMBER10:35

6n+1_Primes c= SetPrimes