>>237のつづき

(2)𝑥0∈𝑓−1(𝑉) を取る。
これは 𝑓(𝑥0)∈𝑉 を意味する。

(3)𝑉 が開なので、
ある 𝜀>0 が存在して𝐵𝑌(𝑓(𝑥0),𝜀)⊂𝑉.