para cualquier formula_12 y para cualquier formula_13.