theorem Th54: :: PEPIN:54

Fermat 4 = (256 * 256) + 1