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