theorem Fer2: :: NUMBER18:48

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