theorem Fer4: :: NUMBER18:50

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