フェルマーの小定理

http://ron4310.blog.fc2.com/blog-entry-122.html
簡便な証明法を見つけたが、手遅れであった。
この程度が自分で作れなかったのが情けなくてここに書いておく。
ラグランジュの定理などという高級なものはやはり必要でなかった。
とは言え、ラグランジュの定理を定理などと感じずに使ってきた人間には少し盲点だった。

アーベル群の場合のラグランジュの定理がかなり当たり前の話というのを表現したかったのですが。
中国式剰余定理とかも習った時に当たり前で済ませていたのでその証明の鍵が見えてませんでした。