Mersenne 0 = 1 - 1 by NEWTON:4;
hence Mersenne n is zero ; :: thesis: verum