Fermat 0 = (2 |^ 1) + 1 by NEWTON:4
.= 2 + 1 ;
hence Fermat 0 = 3 ; :: thesis: verum