El teorema que establece que por un grupo de Lie 'G', cualquier subgrupo cerrado es un subgrupo Lie.