Observemos que cuando formula_7 es un polinomio no nulo divisible por un polinomio mónico formula_77 digamos que formula_208 se tiene que formula_21 no es un divisor de cero en A[X].