Más precisamente, formula_1 es el orden del grupo de unidades del anillo formula_2.