\(n(n^2+2)=n^3+2n\) ist durch 3 teilbar, wenn
\(m:=n^3+2n-3n\) durch 3 teilbar ist; denn wenn man eine
ganze Zahl um ein Vielfaches von 3 abändert, ändert sich an der
Teilbarkeit durch 3 nichts.
Nun ist \(m=n^3-n=(n-1)n(n+1)\). Von drei aufeinander folgenden
ganzen Zahlen ist eine durch 3 teilbar, also ist \(m\) durch 3 teilbar.