Fermat 1 = (2 |^ (1 + 1)) + 1 by NEWTON:10
.= ((2 |^ 1) * 2) + 1 by NEWTON:11
.= (2 * 2) + 1 by NEWTON:10 ;
hence Fermat 1 = 5 ; :: thesis: verum