 Simple-root subtraction lemma

If a positive root $\alpha$ is not simple, then $\alpha -\beta$ is a positive root for some simple root $\beta$. Iteration writes every positive root as a sum of simple roots whose successive partial sums are roots.