Sigue de los lemas anteriores que formula_8, determinan subgrupos de GL(n + 1) que además, por el Lema–C, cada uno de ellos es cerrado (topológicamente).