Sea formula_12, entonces