Para buscar el formula_9 empleamos el algoritmo de Euclides.