Ordinal Addition/Examples/Ordinal Addition by Two

Theorem
Let $x$ be an ordinal.

Let $x^+$ denote the successor of $x$. Let $2$ denote the successor of the ordinal $1$.

Then:


 * $x + 2 = x^{++}$

where $+$ denotes ordinal addition.