Solange man sich im Bereich der Äquivalenzumformung bewegt, ist es in der Tat nicht zulässig, von einer Zeile zur andern den Namen der Variablen zu ändern. Da müsste die letzte Zeile dann z. B. lauten: