Teorema: Todo conjunto formula_111 finito es acotado.