
theorem
  Mersenne(3) = 7 by Lm3;
