This theorem states that Over an algebraically closed field k of characteristic zero, there is a bijection \ k\ / & \ \ / .. 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.