This theorem states that subset V be a finite root system in a finite-dimensional real [vector space](/page/Vector%20Space) V, let + subset be a positive system, and let subset + be the base of simple roots associated to +.. 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.