自然数nについてn^5-nが5の倍数であることを示せ。（有名問題）
素数pについて一般化できる。