{V} P {M}, {M} Q {N} -------------------- {V} P ; Q {N}
Aufgabe: beweise
{ x = A und y = B } x = x + y; y = x - y; x = x - y; { x = B und y = A }