| Te bewijzen : | 8n − 1 = |
| m.a.w. | 8n − 1 is deelbaar door 7 |
| Bewijs : | |
| Deel I |
Voor de kleinste n-waarde, nl. 1 is 8n − 1 = 81 − 1 = 8 − 1 = 7, uiteraard een zevenvoud |
| Deel II | Gegeven : |
8k − 1 = |
| Te bewijzen: |
8k+1 − 1 = | |
| Bewijs : | 8k+1 − 1 | |
| __ = 8.8k − 1 | ||
| __ = 7.8k + (8k− 1) | ||
| __ De tweede term is deelbaar door 7 omwille van de I.H., de eerste omwille van de factor 7 | ||
| __ Q.E.D. |