theorem Th28: :: NUMBER19:28

( Fermat 5 = (2 |^ 32) + 1 & (2 |^ 32) + 1 = 641 * 6700417 & 6700417 > Fermat 4 )