This theorem states that g be a finite-dimensional complex semisimple Lie algebra with Cartan subalgebra h and root system subset h .. 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.