Con lo que formula_71 es un ideal.