theorem Th50: :: PEPIN:50

Fermat 0 = 3