theorem Th53: :: PEPIN:53

Fermat 3 = 257