Simple-root subtraction lemma
= 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.