Te bewijzen : 5n+1 + 62n−1   is deelbaar door 31
m.a.w. 5n+1 + 62n−1   is een veelvoud van 31
Bewijs :
Deel I Voor de kleinste n-waarde, nl. 1 is
5² + 6¹ = 25 + 6 = 31  uiteraard deelbaar door 31
Deel II Gegeven : 5k+1 + 62k−1   is deelbaar door 31
Te bewijzen: 5k+2 + 62k+1   is deelbaar door 31
Bewijs :     5k+2 + 62k+1
__ = 5.5k+1 + 36.62k−1
__ = 5.5k+1 + 5.62k−1 + 31.62k−1
__ = 5.(5k+1 + 62k−1) + 31.62k−1
Beide termen zijn dus deelbaar door 31 (de eerste wegens de I.H.)
De hele som is dus deelbaar door 31   Q.E.D.

Door het principe van volledige inductie is de stelling waar voor n = 1 (Deel I),
n = 2 (Deel II), n = 3 (Deel II), n = 4 ...   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