Esta situación se denota formula_4.