Ordinal is Less than Ordinal times Limit

Theorem
Let $y$ be a limit ordinal.

Let $x$ and $z$ be ordinals.

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