Corolario: Dados sendos conjuntos formula_6 acotado inferiormente y formula_26 finito, los conjuntos formula_27 y formula_28 son también acotados inferiormente.