pが素数、nが2以上の自然数であるとき
　　　　　(n^p-n)/p
が自然数となることを示せ。