formula_9 o formula_10