Te bewijzen :   52n+1 + 22n+1 = deelbaar-door-7
m.a.w.   52n+1 + 22n+1   is deelbaar door 7
Bewijs :
Deel I Voor de kleinste n-waarde, nl. 0 is de uitdrukking gelijk aan
5 + 2 = 7 → O.K.
Deel II Gegeven : 52k+1 + 22k+1 = deelbaar-door-7   ( I.H.)
Te bewijzen: 52k+3 + 22k+3 = deelbaar-door-7
Bewijs : LL = 25.52k+1 + 4.22k+1
__ = 4.52k+1 + 4.22k+1 + 21.52k+1
__ = 4.(52k+1 + 22k+1) + 3.7.52k+1
De eerste term (van twee) is deelbaar door 7 vanwege de inductiehypothe, de tweede omwille van de factor 7 die we hebben kunnen afzonderen.
De hele som is dus deelbaar door 7   Q.E.D.

Door het principe van volledige inductie is de stelling waar voor n = 0 (Deel I),
n = 1 (Deel II), n = 2 (Deel II), n = 3 ...   m.a.w. voor elk natuurlijk getal n


I.H. = Inductiehypothese     Q.E.D. = quod erat demonstrandum
Deel  I  = BASIC STEP
Deel II = INDUCTIVE STEP