thus Fermat 2 = (2 |^ (2 |^ (1 + 1))) + 1
.= (2 |^ ((2 |^ 1) * 2)) + 1 by NEWTON:6
.= (2 |^ (3 + 1)) + 1
.= ((2 |^ (2 + 1)) * 2) + 1 by NEWTON:6
.= (((2 |^ (1 + 1)) * 2) * 2) + 1 by NEWTON:6
.= ((((2 |^ 1) * 2) * 2) * 2) + 1 by NEWTON:6
.= 17 ; :: thesis: verum