Podemos asegurar entonces, que formula_23.