1. La seconde équation donne , que l'on injecte dans la première : puis . Vérification : et .
2. Pour éliminer , on effectue : On reporte dans : , donc . Vérification : et .
3. Pour éliminer , on effectue : On reporte dans : , donc et . Vérification : et .
4. Pour éliminer , on effectue : On reporte dans :
Vérification dans : .
5. Pour éliminer , on effectue : On reporte dans :
Vérification dans : .
6. Pour éliminer , on effectue : On reporte dans :
On prendra garde ici à simplifier : le calcul brut donne , qu'il faut réduire en .
Vérification dans : .
Les trois derniers systèmes n'ont pas de solution entière. On remarquera que la substitution y serait beaucoup plus lourde : elle introduirait des fractions dès la première étape, alors que la combinaison linéaire ne les fait apparaître qu'à la toute fin.