This theorem states that E be a finite-dimensional real [inner product space](/page/Inner%20Product%20Space), let subset E be a finite root system, and let + subset be a positive system, so that = + sqcup (- +).. 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.