Sea formula_5 una cota superior de formula_1, supongamos que formula_5 es único.