Original: A Mersenne prime is a Mersenne number that is prime.
Simplified: A Mersenne prime is a Mersenne number that is a prime number.