para todo formula_9, formula_10