theorem Fer0: :: NUMBER18:46

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