Sea formula_600, la evaluación en formula_22, que es un homomorfismo de anillos con núcleo formula_602.