This theorem states that Gamma be a connected finite Dynkin diagram of rank ell, with generalized Cartan matrix A = (a ij) 1 leq i,j leq ell.. 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.