
theorem
  Mersenne(1) = 1;
