■フェルマー・オイラー・ウィルソン(その9)

フェルマーの小定理

pを素数、aをpの倍数でない自然数とするとき、

a^p-1=1 (modp)

===================================

オイラーの定理

Nを2以上の自然数、mを1以上N以下の自然数で、Nと互いに素なものの個数とするとき、

a^m=1 (modN)

===================================

ウィルソンの定理

pを素数とするとき、

(p-1)!=-1 (modp)

===================================