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