This theorem states that A=(a ij) 1 le i,j le n be an indecomposable generalized Cartan matrix of finite type.. 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.