thus Mersenne 0 = 1 - 1 by NEWTON:4
.= 0 ; :: thesis: verum