donde formula_27 denota el máximo común divisor.