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