Te bewijzen : F5n  is deelbaar door 5
d.w.z. elk vijfde getal in de rij van FIBONACCI is een vijfvoud
De index is het rangnummer is van de term in de rij
van FIBONACCI : 1, 1, 2, 3, 5, 8, 13, 21, 34, ...
d.w.z. F1=F2=1,   Fn + Fn+1 = Fn+2   (vanaf n=1)
Bewijs :
Deel I Voor n = 1  is  F5 = 5  deelbaar door 5
Deel II Gegeven : F5k  is deelbaar door 5     ( I.H.)
Te bewijzen: F5k+5  is deelbaar door 5
Bewijs : F5k+5 = F5k+3 + F5k+4
__   = F5k+1 +   F5k+2  +  F5k+2  +  F5k+3
__   = F5k+1 + (F5k + F5k+1) + (F5k + F5k+1) + (F5k+1 + F5k+2)
__   = 2.F5k + 4.F5k+1 + F5k + F5k+1
__   = 3.F5k + 5.F5k+1
Zowel de term 3.F5k ( I.H. !) als de term 5.F5k+1 is een vijfvoud
zodat de som het ook is.   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