Proposición: Si un conjunto formula_6 tiene una cota superior, esta no es única.