Por tanto, se tiene que formula_4.