Consideremos al ideal formula_266 en formula_47 y supongamos que formula_47 fuera un DIP.