 Root-system finiteness lemma

In a reduced crystallographic root system, for roots $\alpha \ne \pm \beta$,where $\theta$ is their angle. Integrality gives an integer, and nonparallelism makes it strictly smaller than four.