theorem Th50:
  Fermat(0) = 3
proof
  Fermat(0) = 2 |^ 1 + 1 by NEWTON:4
    .= 2 + 1;
  hence thesis;
end;
