This theorem states that subset E be an irreducible reduced root system in a finite-dimensional real Euclidean [vector space](/page/Vector%20Space) E.. 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.