This theorem states that subset E be a finite reduced root system in a finite-dimensional real Euclidean [vector space](/page/Vector%20Space) E, and let W be the Weyl group generated by the root reflections s for in .. 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.