Original: A basic theorem about Mersenne numbers states that in order for Mn to be a Mersenne prime, the exponent n itself must be a prime number.
Simplified: A Mersenne prime is a Mersenne number that is a prime number.