Tenemos además que formula_23, y que formula_24.