Si formula_17 es un divisor común de formula_10 y formula_19, entonces formula_20