Ordinal is Less than Ordinal times Limit

Theorem
Let $y$ be a limit ordinal.

Let $x$ and $z$ be ordinals.


 * $z < \left({ x \times y }\right) \iff \exists w < y: z < \left({ x \times w }\right)$