This theorem states that subset E be a finite reduced crystallographic root system in a finite-dimensional Euclidean space E, and let subset be a simple root basis.. 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.