si tomamos formula_12: