En efecto, sea formula_141, formula_142.