On root systems

Let Σ be a root system. ∆ ⊏ Σ a base and Σ⁺ the set of positive roots. We prove the following two propositions.

Theorem [Formula Matemática].