En efecto, si formula_298 esta en formula_335 entonces formula_336 lo que implica que formula_337 o formula_338 o sea que formula_70 o formula_36 están en formula_341 Este ideal no es maximal, a menos que el dominio sea un cuerpo.