Givet 1

AB+BC+AC=22

Givet 2

BC=AB+5

Givet 3

AC=BC-3

Mål. Att sträva efter att eliminera ned till en okänd i första ekvationen.
Metod

BC=AB+5, således är BC ersatt med AB
AC=BC-3 <> BC=AC+3 <> AC+3=AB+5 <> AC=AB+2 Således är alla okända uttryckta i AB.
Insättning i orginalekvationen ger

AB+AB+5+AB+2 = 22 <> 3*AB+7=22 <> 3*AB = 15 <> AB=5