This theorem states that E be a finite-dimensional real Euclidean [vector space](/page/Vector%20Space) with inner product (cdot,cdot) E, let subset E be a reduced root system, and let subset be a base.. 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.