Mersenne prime
ソフィー・ジェルマン素数 "p" が "p" ≡ 3 (mod 4) を満たすとき 2"p" + 1 はメルセンヌ数 2"p" − 1 の約数となる。