
theorem
  Mersenne(11) = 23*89
proof
  thus Mersenne(11) = 2|^(8+3)-1 .= 2|^8*2|^3-1 by NEWTON:8
    .= 23*89 by Lm3,Lm5;
end;
