| Te bewijzen : | 5n+1 + 62n−1 is deelbaar door 31 |
| m.a.w. | 5n+1 + 62n−1 is een veelvoud van 31 |
| Bewijs : | |
| Deel I |
Voor de kleinste n-waarde, nl. 1 is 5² + 6¹ = 25 + 6 = 31 uiteraard deelbaar door 31 |
| Deel II | Gegeven : | 5k+1 + 62k−1 is deelbaar door 31 |
| Te bewijzen: | 5k+2 + 62k+1 is deelbaar door 31 | |
| Bewijs : | 5k+2 + 62k+1 | |
| __ = 5.5k+1 + 36.62k−1 | ||
| __ = 5.5k+1 + 5.62k−1 + 31.62k−1 | ||
| __ = 5.(5k+1 + 62k−1) + 31.62k−1 | ||
|
Beide termen zijn dus deelbaar door 31 (de eerste wegens de I.H.) De hele som is dus deelbaar door 31 Q.E.D. |