Así formula_28 es un ideal de formula_1.