thus Fermat 4 = (2 |^ (8 + 8)) + 1 by POWER:62
.= ((2 |^ 8) * (2 |^ 8)) + 1 by NEWTON:8
.= (((2 |^ 4) * (2 |^ 4)) * (2 |^ (4 + 4))) + 1 by NEWTON:8
.= (256 * 256) + 1 by NEWTON:8, POWER:62 ; :: thesis: verum