Reescribiendo la identidad, formula_13, luego formula_14.