Sea formula_19 un grupo y formula_6 un subgrupo de formula_19