theorem Th52: :: PEPIN:52

Fermat 2 = 17