
theorem
  Mersenne(7) = 127
proof
  thus Mersenne(7) = 2|^(4+3)-1 .= 2|^4*2|^3-1 by NEWTON:8
    .= 127 by Lm3,Lm4;
end;
