Bewijs door Volledige Inductie

Te bewijzen :	4²ⁿ⁺¹ + 5²ⁿ⁺¹ + 6²ⁿ⁺¹ is deelbaar door 15
m.a.w.	4^m + 5^m + 6^m is deelbaar door 15 als m oneven is
Bewijs :
Deel I	Voor de kleinste oneven exponent (n= 0) verkrijgen we : 4 + 5 + 6 = 15 deelbaar door 15

Deel II	Gegeven :	4^2k+1 + 5^2k+1 + 6^2k+1 is deelbaar door 15 ( I.H.)
	Te bewijzen:	4^2k+3 + 5^2k+3 + 6^2k+3 is deelbaar door 15
	Bewijs :	4^2k+3 + 5^2k+3 + 6^2k+3
		= 16.4^2k+1 + 25.5^2k+1 + 36.6^2k+1
		= 16.(4^2k+1 + 5^2k+1 + 6^2k+1) + 9.5^2k+1 + 20.6^2k+1
		= 16.(4^2k+1 + 5^2k+1 + 6^2k+1) + 9.5.5^2k + 20.6.6^2k
		= 16.(4^2k+1 + 5^2k+1 + 6^2k+1) + 15.(3.5^2k + 8.6^2k)
		De eerste term is deelbaar door 15 als gevolg van de inductiehypothese en de tweede term ook deelbaar door 15 (15 x natuurlijk getal) Besluit : 4^2k+3 + 5^2k+3 + 6^2k+3 is deelbaar door 15 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