Demostremos primero 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.