| Te bewijzen : | 5n + 3 is deelbaar door 4 |
| m.a.w. | 4 | 5n + 4 |
| Bewijs : | |
| Deel I |
Voor de kleinste n-waarde, nl. 0 is de uitdrukking gelijk aan 50 + 3 = 1 + 3 = 4 → O.K. |
| Deel II | Gegeven : | 5k + 3 is deelbaar door 4 ( I.H.) |
| Te bewijzen: | 5k+1 + 3 is deelbaar door 4 | |
| Bewijs : | 5k+1 + 3 | |
| __ = 5.5k + 3 | ||
| __ = 5k + 3 + 4.5k | ||
|
De som 5k + 3 is deelbaar door 4 omwille van de inductiehypothese en 4.5k omwille van de factor 4 De ganse som is dus deelbaar door 4 Q.E.D. |