Ordinal is Less than Ordinal times Limit

Theorem
Let $y$ be a limit ordinal.

Let $x$ and $z$ be ordinals.

Then:
 * $z < x \times y \iff \exists w \in y: z < x \times w$