Ordinal Addition by Zero

Theorem
Let $x$ be an ordinal.

Proof
We shall use Transfinite Induction on $x$ to prove $(\varnothing + x) = x$

Limit Case
Let $K_{II}$ denote the class of all limit ordinals