Se tiene que formula_24.