Sea formula_132, entonces formula_133.