Solution
= Solution
The ordinal $\beta$ is the ordered concatenation of its initial segment $\alpha$ and its tail $\beta\setminus\alpha$. If the tail has order type $\gamma$, this concatenation has order type $\alpha+\gamma$. Hence $\alpha+\gamma=\beta$.