This theorem states that be a finite root system in a real Euclidean space E with inner product (cdot,cdot), let subset be a simple system, and let + be the corresponding set of positive roots.. It is used in the structure and classification of finite-dimensional Lie algebras, especially in arguments involving Cartan data, root systems, Weyl groups, and Dynkin diagrams.