This theorem states that A=(a ij) 1 leq i,j leq n be an indecomposable symmetrizable generalized 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.