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 .