Donde el grupo se ha parametrizado con el parámetro real formula_1 entonces: