Non-Zero Integers are Cancellable for Multiplication

Theorem
Every non-zero integer is cancellable for multiplication.

That is:
 * $\forall x, y, z \in \Z, x \ne 0: x y = x z \iff y = z$

Also known as
Some sources give this as the cancellation law, but this term is already in use in the context of a group.