Después, el Teorema de Cartan (de Élie Cartan) que la imagen de formula_11 también es un grupo de Lie.