El teorema afirma que si formula_1 es un grupo finito y formula_3 es un subgrupo de formula_1, entonces