Sea formula_225 tal que formula_226.