\begin{definition}[Definition:Mersenne Prime]
A '''Mersenne prime''' is a Mersenne number which happens to be prime.
That is, it is a prime number of the form $2^p - 1$.
The number $2^p - 1$ is, in this context, often denoted $M_p$.
\end{definition}