theorem Fer6: :: NUMBER18:52

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