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