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