para todo formula_4 , formula_5 de formula_1.