Wie rechnet man mit Äquivalenzumformungen?