Entonces, el ideal generado por formula_7 y formula_21 tiene como generador a un máximo común divisor de formula_7 y formula_77 que puede ser seleccionado mónico.