A basic theorem about Mersenne numbers states that in order for Mn to be a MISC@1 prime , the exponent n itself must be a prime number .

A Mersenne prime is a Mersenne number that is a prime number .
