El máximo común divisor es precisamente formula_44 (el último residuo que no es cero).