２^(p-1)＝１　　（mod ｐ^2）を満たす素数。

フェルマーの最終定理：x^p+y^p=z^pが整数解をもてば、ｐは上の合同式を満たすことをヴィーフェリッヒは1909年に示した。

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

【３】

　１９１０年，ミリマノフは

「フェルマー方程式ｘ^p＋ｙ^p＝ｚ^pが非自明解をもつためには，ｐはミリマノフ素数であることが必要である」をつけ加えています．

　　（３^(p-1)−１）／ｐ＝０　　　（ｍｏｄ　ｐ）

すなわち，３^(p-1)−１はｐ^2で割り切れるというものですが，（３^(p-1)−１）／ｐが整数となるｐとしてｐ＝１１，１００６００３が知られています．また，５^(p-1)−１がｐ^2で割り切れるｐとしてはｐ＝１８８７４８１４６８０１が知られています．

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