Sea formula_32, entonces