ペパンの定理 (Pepin's Theorem)

フェルマー素数を思い出してください。

であらわされる数Fnのことでしたね。このフェルマー素数には、次のような定理が与えられています（１８７７年）。

ペパンの定理

フェルマー素数 Fn が素数であるための必要十分条件は、 3(Fn-1)/2 ≡ -1 (mod Fn)

　ペパンの定理 (Pepin's Theorem)