Ordinal Multiplication is Left Cancellable

Theorem
Let $x, y, z$ be ordinals.

Let $z \ne 0$.

Then:


 * $\ds \paren {z \cdot x} = \paren {z \cdot y} \implies x = y$

That is, ordinal multiplication is left cancellable.

Proof
For the proof, $<$, $\in$, and $\subsetneq$ will be used interchangeably.

This is justified by Transitive Set is Proper Subset of Ordinal iff Element of Ordinal.

Since $z \ne 0$ and $z \not < 0$, $0 < z$ by Ordinal Membership is Trichotomy.

Note that:

In addition:

This contradicts the consequents of the first two equations, so:

Also see

 * Natural Number Multiplication is Cancellable