 Root-system finiteness lemma

For roots $\alpha \ne \pm \beta$,where $\theta$ is their angle. Integrality gives an integer, and nonparallelism makes it strictly smaller than four.