Sean formula_5 y formula_79 como arriba y sea formula_133 el ideal generado por formula_79 en formula_121.