Lösung Äquivalenzumformungen