Sea formula_19 un grupo finito y sea formula_6 un subgrupo.