フェルマーの小定理
最後の定理はフェルマーの小定理の一般化である。これと原始約数の定義から、次のことがわかる。