Sea formula_81 tal que formula_82