formula_8 o formula_9