Este argumento es claramente válido para cualquiera que sea el número natural formula_21, por lo que se concluye que si formula_171 es no bien fundado, existe una secuencia infinita descendiente formula_248.