aún cuando formula_22 sea mayor que formula_23.