Cartan's theorem Cartan's lemma Cartan's theorems A and B Cartan–Dieudonné theorem Closed-subgroup theorem Lie's third theorem Theorem of the highest weight