Man darf Umschreibungen in der Form vornehmen, sodass das Ergebnis nicht geändert wird.
BSP 1:
x = 2
x = 2 | *4
4x = 8
Ist immer noch das gleiche wie x = 2 <=> 4x = 8 erweitern ändert das Ergebnis nicht...
BSP 2:
x = 2
y = 3
Ist das gleiche wie
y = 3
x = 2
Bei der Vertauschung von Zeilen ändert sich ja kein Ergebnis.
Ich hoffe, dass dir das weiterhilft!