Además, formula_630 es un subgrupo del grupo cíclico formula_631, por lo que su orden formula_632 debe ser un divisor del orden de formula_631, formula_634.