(Teorema de Lagrange) Sea formula_19 un grupo finito, formula_6 un subgrupo de formula_19.