This theorem states that k be an algebraically closed field of characteristic 0, and let A=(a ij) 1 leq i,j leq l be a finite-type Cartan matrix.. 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.