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