【３】ミリマノフの定理

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

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

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

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

また，５^(p-1)－１がｐ^2で割り切れるｐとしてはｐ＝１８８７４８１４６８０１が知られています．

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