順番が逆になってしまったが，フェルマーの小定理，ｐが素数のとき

　　　ａ^p＝ａ　　　（ｍｏｄ　ｐ）

　　　ａ^p-1＝１　　　（ｍｏｄ　ｐ）

であるを証明しておきたい．

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

［補題］（ａ＋ｂ）^p＝ａ^p＋ｂ^p　　（ｍｏｄｐ）

　証明は帰納法による．

　　　ｎ^p＝ｎ　　　（ｍｏｄ　ｐ）

と仮定すると，補題より，

　　（ｎ＋１）^p＝ｎ^p＋１＝ｎ＋１　　　（ｍｏｄ　ｐ）

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