Mn＝（2^n−１）型の素数をメルセンヌ素数

　Ｗn＝（２^n＋１）／３型の素数をワグスタッフ型素数

という.

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

セルフリッジはn=2^k±1またはn=2^2k±3型素数であるとき、MnとWnは同時に素数であるか同時に合成数であるかのどちらかであり、

ともに素数のときはn=2^k±1またはn=2^2k±3型素数であると予想している

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝