Como formula_94 y formula_174 están en formula_187 se tiene formula_178 es un divisor de formula_94 y formula_176 La relación anterior implica, además, que cualquier divisor común de formula_94 y formula_192 será un divisor de formula_193 es decir que formula_178 es el máximo común divisor de formula_94 y formula_176 Tenemos entonces que