Recíprocamente, si formula_249 es un conjunto ordenado tal que existe una secuencia descendiente infinita formula_248, entonces, para cualquiera que sea el elemento formula_251, existe otro formula_252 tal que formula_253, de modo que formula_243 no es minimal de formula_1, y con ello formula_171 es no bien fundado.