Ordinal Addition/Examples/Ordinal Addition by One

Theorem
Let $x$ be an ordinal.

Let $x^+$ denote the successor of $x$.

Let $1$ denote the successor of $\varnothing$.


 * $\displaystyle ( x + 1 ) = x^+$