Mersenne primes: Difference between revisions