formula_2 tal que formula_3