Sustituyendo la expresion que habíamos encontrado un poco antes para formula_32