theorem Th54: :: PEPIN:54
Fermat 4 = (256 * 256) + 1