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