[dansunciel]

Just to clarify, in this case p = 77,232,917 is prime, but for Mersenne primes in general p is just a positive integer.

[meta_AU]

Not quite. If p isn't prime then 2^p - 1 isn't prime.