Ordinal Addition is Closed

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

Then, the sum $x+y$ is an ordinal.


 * $\displaystyle \forall x,y \in \operatorname{On}: (x+y) \in \operatorname{On}$

Proof
We shall prove this using Transfinite Induction on $y$.