Mit Äquivalenzumformungen kann man viele Gleichungen (und Ungleichungen) lösen, vor allem lineare Gleichungen.