Te bewijzen : 22n − 3n − 1 = deelbaar-door-9
m.a.w. 22n − 3n − 1   is deelbaar door 9
Bewijs :
Deel I Voor de kleinste n-waarde, nl. 1 is
2² −3 −1 = 0 = deelbaar-door-9
Deel II Gegeven : 22k − 3k − 1 = deelbaar-door-9     ( I.H.)
Te bewijzen: 22k+2 − 3k − 4 = deelbaar-door-9
Bewijs :   22k+2 − 3k − 4
= 4.22k − 12k + 9k − 4
= 4.(22k − 3k − 1) + 9k
Uiteraard is  9k  deelbaar door 9 maar ook is
4.(22k − 3k − 1) deelbaar door 9 (vanwege de Inductie Hypothese)
De som is dus deelbaar door 9   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