
theorem
  Mersenne(0) = 0
proof
  thus Mersenne(0) = 1-1 by NEWTON:4
    .= 0;
end;
