El máximo común divisor de formula_1 y formula_2 en un DIP es el elemento formula_3 del anillo tal que formula_4.