Para terminar de comprobar que formula_71 es un ideal, cogemos un elemento arbitrario formula_9.