thus Mersenne 5 = (2 |^ (3 + 2)) - 1
.= ((2 |^ 3) * (2 |^ 2)) - 1 by NEWTON:8
.= 31 by Lm2, Lm3 ; :: thesis: verum