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