formula_132 es un ideal de formula_22, pero su imagen (o sea el mismo conjunto) no es un ideal de formula_134 Esto muestra que las restricciones de la parte (a) de la proposición son necesarias.