This theorem states that A=(a ij) 1 le i,j le n be a finite-type generalized Cartan matrix, and let Gamma(A) be its Dynkin diagram with vertex set I=1,dots,n.. 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.