Warum ist Wurzel ziehen keine Äquivalenzumformung?