If $\alpha<\beta$, there exists a ordinal $\gamma$ such that $\alpha + \gamma = \beta$. Why?
For ordinals $\delta$ and $\beta$, if $\delta\in$ or $=\beta$, then there exists $\gamma\in$ or $=\beta$ such that $\beta=\delta+\gamma$