Sei k=2l+1, n natürliche Zahl:
Wir definieren \( f(n,i) := (n-i)^3 + (n+i)^3 = 2n^3 + 6ni^2 \)
$$ \begin{aligned} S~ :=& \sum_{i=-l}^l (n-i)^3 \\ =& n^3 + \sum_{i=1}^l f(n,i) \\ =& n^3 + \sum_{i=1}^l 2n^3 + \sum_{i=1}^l 6ni^2 \\ =& n^3 + 2l n^3 + 6n\frac{l(l+1)(2l+1)}{6} \\ =& (2l+1)n (n^2 + l(l+1)) \\=& kn (n^2 + l(l+1)) \end{aligned} $$
Somit ist \( S \equiv 0 \mod (kn) \)