Por los resultados anteriores, tenemos que formula_595.