This theorem states that I be a finite set, let A = (a ij) i,j in I be an indecomposable symmetrizable generalized Cartan matrix of finite type, and let Gamma(A) be its Dynkin diagram.. 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.