Ordinal Addition/Examples/Ordinal Addition by Natural Number

Theorem
Let $x$ be an ordinal.

Let $x^+$ denote the successor of $x$. Let $n$ be a natural number.

Then:


 * $x + \paren {n + 1} = \paren {x + n}^+$

where $+$ denotes ordinal addition.