ツォルンの補題
(8) (7) の"主張" から超限帰納法により、任意の "λ" ∈ "Λ" に対して、"P" ("λ") は真である。従って、ツォルンの補題から (詳細な証明は略) 次のような "x" : "Λ" → formula_69 "Xρ"  が存在することが言える。全ての "ρ" ∈ "Λ" について、"xρ" ∈ "Xρ" であり、"Xρ" の任意の開集合 "Uρ" が "xρ" を含めば、formula_1 の有限部分集合で formula_71   を被覆するものは存在しない。