>>856
オーソドックスな証明は、A={1,2,…,p-1} としたとき、
任意のa∈Aに対し aA=A となることを用いるもの。

逆に帰納法を使った証明はどうやるのかに興味がある。