Si formula_1 no tiene elemento mínimo, entonces existe un conjunto formula_15.