Te bewijzen : 32n − 2n = deelbaar-door-7   (n = 1, 2, ...)
m.a.w. 32n − 2n  is deelbaar door 7
Bewijs :
Deel I Voor de kleinste n-waarde, nl. 1 is de uitdrukking
gelijk aan 32 − 21 = 9 − 2 = 7 = deelbaar-door-7
Deel II Gegeven : 32k − 2k = deelbaar-door-7   ( I.H.)
Te bewijzen: 32k+2 − 2k+1 = deelbaar-door-7
Bewijs : 32k+2 − 2k+1
__ = 9.32k − 2.2k
__ = 7.32k + 2.32k − 2.2k
__ = 7.32k +2.(32k − 2k)
De eerste term is deelbaar door 7 vanwege de factor 7 die we hebben kunnen voorop zetten, de tweede term (tussen de haakjes) is ook deelbaar door 7 vanwege de Inductie Hypothese

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