theorem :: NUMBER18:54

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