Entonces formula_171 es, en particular, bien fundado, por lo que todo subconjunto formula_202 tiene por lo menos un minimal.