Prueba: Para ver que formula_27 es acotado inferiormente, procedemos como sigue: Reiterando el proceso usado en la demostración anterior, construimos los conjuntos formula_30 del modo siguiente: