Ordinal is Less than Ordinal to Limit Power

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

Let $z$ be a limit ordinal.

Then:


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