This theorem states that A = (a ij) 1 leq i,j leq n and A' = (a' ij) 1 leq i,j leq n be finite-type Cartan matrices.. 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.