thus Mersenne 1 = 2 - 1
.= 1 ; :: thesis: verum