Twierdzenie o metodzie podstawiania

Jeżeli z jednego równania danego układ równań wyznaczymy jedną z niewiadomych i podstawimy otrzymane wyrażenie do drugiego równania w miejsce tej niewiadomej, to układ równań składający się z pierwszego równania i otrzymanego w ten sposób drugiego równania jest równoważny początkowemu układowi.