thus Mersenne 1 = 2 - 1 by NEWTON:5
.= 1 ; :: thesis: verum