Por ejemplo, si formula_13, entonces formula_14.