Sea formula_173 tal que