Vorgehen bei Äquivalenzumformungen
Ma