This theorem states that g be finite-dimensional and semisimple over an algebraically closed field k of characteristic zero, let hsubset g be a Cartan subalgebra, and let subset h be the corresponding root system.. 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.