Sea formula_239 el supramorfismo canónico, formula_240 Entonces, diremos que el polinomio formula_241 es el polinomio obtenido de formula_5 por reducción módulo formula_243