Te bewijzen: 6 is een deler is van n(n²+5) voor n$\ge$1.

Neem n=1:
6 | 1·(1²+5)? Ja dat klopt.

Neem aan E(n) is waar is dan dan E(n+1) ook waar?

Neem n+1:

6 | (n + 1)((n + 1)² + 5)
6 | n³ + 3n² + 8n + 6
6 | n³ + 5n + 3n² + 3n + 6

6 | n³ + 5n (inductieveronderstelling) en 6 | 3n² + 3n + 6

Dat laatste stond al op voorbeeld 5 uitgewerkt. Bewijs geleverd!