formula_11 para formula_12