Da nicht angegeben ist, welcher Menge \(x,y,z\) entstammen,
hier eine Variante, in der \(x,y,z\) einem angeordnetem Integritätsbereich entstammen:
\(xz=yz\Rightarrow 0=xz-yz=(x-y)z\)
Satz vom Nullprodukt (Integritätsbereich) liefert wegen \(z\neq 0\):
\(x-y=0\), also \(x=y\).