>>19
数学的帰納法で示したのは a^p≡a
これが全ての自然数aについて成り立つと主張している
aがpの倍数でないときは両辺をaで割ることができる