Non-Zero Integers are Cancellable for Multiplication/Proof 2

Proof
Let $y, z \in \Z: y \ne z$.

The result follows by transposition.