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