es una cadena de ideales, entonces existe formula_9 tal que