Ordinal Exponentiation of Terms

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

Let $n$ be a finite ordinal.

Let $x$ be a limit ordinal.

Let $y, z, n$ all be greater than $0$.

Then:


 * $\paren {x^y \times n}^z = x^{y \mathop \times z} \times n$ if $z$ is not a limit ordinal


 * $\paren {x^y \times n}^z = x^{y \mathop \times z}$ if $z$ is a limit ordinal.

Proof
The proof shall proceed by Transfinite Induction on $z$.

Basis for the Induction
The hypothesis requires that $z \ne 0$, so the induction starts at $z = 1$.

This proves the basis for the induction.

Induction Step
This proves the induction step.

Limit Case
Suppose that this statement holds for all $w \in z$ where $z$ is a limit ordinal.

Then:

This proves the limit case.