Si existiera otro número mayor que formula_12 que divide a formula_2 y a formula_4, también dividiría a formula_1 , por lo que formula_12 no sería el mcd de formula_1 y formula_2, lo que contradice la hipótesis).