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