Proposición: Todo subconjunto formula_35 de un conjunto formula_1 acotado inferiormente, es acotado inferiormente.