Wikipediaのフェルマーの小定理のページで、a^(p-1)≡1 mod pについて、
証明にaについての数学的帰納法を使っていたんですが、
aにはpの倍数でないという条件があるので、それでは数学的帰納法ではaがp未満のときしか示せませんよね？
これはどうなんでしょうか？