:: deftheorem defines 6n+1_Primes NUMBER10:def 5 :
6n+1_Primes = { ((6 * n) + 1) where n is Nat : (6 * n) + 1 is prime } ;