thus Fermat 3 = (2 |^ (4 + 4)) + 1 by POWER:69
.= ((2 |^ 4) * (2 |^ 4)) + 1 by NEWTON:13
.= 257 by POWER:70 ; :: thesis: verum