Consideremos el ideal formula_43 generado por esos polinomios, formula_56 Como formula_40 es DIP, hay un polinomio formula_58 de grado minimal que genera a formula_49 Luego, formula_60 para un par de polinomios formula_61 Sigue de la relación anterior que cualquier divisor común de formula_7 y formula_21 es un divisor de formula_64 Además, claramente, formula_7 y formula_21 están en formula_67 por lo que son múltiplos de formula_64 Luego, formula_58 es el MCD buscado.