theorem Th51: :: PEPIN:51

Fermat 1 = 5