A D571: Prime integer $p$ is a Mersenne prime integer if and only if \begin{equation} \exists \, n \in \mathbb{N} + 2 : p = 2^n - 1 \end{equation}