Por ejemplo, si se desea reducir formula_94, primero se usa el algoritmo de Euclides para encontrar formula_95.