X: ハウスドルフ, 弧状連結, 局所弧状連結, 局所単連結
ならば、任意の点x∈Xと、xの任意の開近傍U⊂Xに対して、
x∈V⊂Uをみたす、xの単連結な近傍Vが取れますか？