waarbij die laatste stap volgt uit de inductiehypothese. Dus als de hypothese klopt voor alle nk dan klopt ze ook voor nk+1. De inductie kan dan worden gestart met het eenvoudig te controleren geval k=1.
Merk op dat je dit ook zonder inductie kan bewijzen:
De sommatie loopt van j=0 tot j=n. Alle termen zijn deelbaar door 7 behalve die waarvoor n-j=0, maar die wordt er vanaf getrokken door de -a^n. Jouw vraag komt dan overeen met het geval a=4.