theorem Fer3: :: NUMBER18:49

( card (PrimeDivisors 3) = 1 & card (PrimeDivisors (3 + 1)) = 1 & 3 is not mersenne Prime implies 3 + 1 is fermat Prime )