Si formula_15, entonces podemos decir que