質問: 問題:pは素数とする。どんな自然数nについても(n^p)-nはpで割り切れることを証明せよ。
回答: 大丈夫だと思います。 ただ、pCk(k=1,2,...,p-1)がpの倍数であることを先に示した方が、解答としてはすっきりするかなと思います。