Esto es, formula_59 tiene dos generadores llamados formula_62 y formula_63 , sujetos a las restricciones indicadas.