This theorem states that Gamma be a connected simply laced finite Dynkin diagram with a unique branch vertex v 0, meaning that v 0 has degree 3 and every other vertex has degree at most 2.. 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.