y si cada subconjunto de formula_6 tiene cota inferior estricta,