En efecto, sea formula_20