Teorema 1.26 (Lagrange): "Si formula_24 es un grupo finito y formula_126 es un subgrupo de formula_24, entonces"