Prueba: Si formula_47 es cota superior de formula_1, se cumple formula_49.