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