Es posible demostrar que el máximo común divisor de formula_1 y formula_2 es el mismo que el de formula_2 y formula_4(Sea c el máximo común divisor de formula_1 y formula_2.Como formula_11 y formula_12 divide a formula_1 y a formula_2 divide también a formula_4.