梅森质数，即形为"M" = 2 − 1 的质数。
历史.欧几里得证明当2 − 1是质数时，2(2 − 1)是完全数（Prop. IX.36）。这是他的《几何原本》中数论的最后一条结果。过了超过一千年后，约在公元1000年，海什木猜想所有偶完全数都有形式2(2 − 1)，但他未能证明。直至18世纪，数学家欧拉始证明所有偶完全数都有形式2(2 − 1)。因此确定偶完全数和梅森质数之间存在一一对应：每个偶完全数给出一个梅森质数，反之亦然。
证明.欧拉的证