aを自然数、pを素数とするとき
a^(p−1)≡1 (modp)を示せ

帰納法以外の解き方があれば教えてください