Was ist keine Äquivalenzumformung?