Es gilt $$n³-3n=(n-1)n(n+1)-3n $$, und beide Summanden sind wegen n∈ℕ durch 3 teilbar, daher ist also auch n³-n stets für natürliche n durch drei teilbar.
Alternativ kann man die Behauptung auch durch Modulo-Rechnung zeigen, dann sind nur noch die Fälle n=0mod3, n=1mod3 und n=2mod3 zu prüfen.
Noch schneller geht's aber mit dem kleinen Satz von Fermat (3 ist eine Primzahl), also
n³-4n=n³-n=n-n=0(mod3)
bei dem zweiten Gleichzeichen wurde der kleine Satz von Fermat verwendet (beweisen kann man den zum Beispiel über erzeugende Elemente von Gruppen, falls du dich da etwas auskennen solltest;-))
Anmerkung: streng genommen müsste man hier das Kongruenzzeichen ≡ verwenden, dies habe ich jedoch nicht im Formel-Editor gefunden.