Sean formula_93 formula_94 formula_95 Como formula_40 es un dominio de ideales principales, hay un polinomio mónico tal que formula_97 Como formula_43 está contenido en formula_99 y en formula_100 resulta que formula_101 es un múltiplo común de formula_99 e formula_103 Además, cualquier múltiplo común de formula_7 y formula_21 estará tanto en formula_99 como en formula_107 por lo que estará en formula_67 lo que implica que será un múltiplo de formula_109 Luego, formula_110