Schreibe das Produkt geschickter so: (n-2)·(n-1)·n·(n+1)·(n+2). Es gibt fünf Fälle:
1.) n ist selbst durch 5 teilbar. Dann sorgt der Faktor 5 für die Gültigkeit der Behauptung.
2.) n lässt beim Teilen durch 5 den Rest 1. Dann ist n-1 durch 5 teilbar.
3.) n lässt beim Teilen durch 5 den Rest 2. Dann ist n-2 durch 5 teilbar.
4.) n lässt beim Teilen durch 5 den Rest 3. Dann ist n+2 durch 5 teilbar.
5.) n lässt beim Teilen durch 5 den Rest 4. Dann ist n+1 durch 5 teilbar.