On root systems (1988)
Let Σ be a root system. ∆ ⊏ Σ a base and Σ+ the set of positive roots. We prove the following two propositions. Theorem [Formula Matemática].