Fermat's little theorem
"p" = 2 の場合は明らかに成り立つので、以下 "p" は奇素数とする。"p" は素数だから法 "p" に関する原始根 "a" が存在する。このとき、フェルマーの小定理より、