Äquivalenzumformungen und Zeile 5 nach 6?