Ordinal Addition is Closed

Theorem
Let $\On$ be the class of all ordinals.

Then:
 * $\forall x, y \in \On: x + y \in \On$

That is: the sum $x+y$ is an ordinal.

Proof
Using Transfinite Induction on $y$: