Ahora resta por comprobar que formula_44 es un buen orden en formula_25, es decir, que todo subconjunto no vacío de formula_25 tiene elemento mínimo según la relación formula_44.