Sea formula_55 el menor número (con el orden usual en formula_21) tal que formula_57 y formula_58.