>>240のつづき

(5)よって𝐵𝑋(𝑥0,𝛿)⊂𝑓^−1(𝑉)が得られる。
つまり、𝑥0∈𝑓^−1(𝑉) に対して、
その周りに開球 𝐵𝑋(𝑥0,𝛿) が
𝑓^−1(𝑉) の中に含まれている。