>>89
ありがとうございます。

それに絡んでもうひとつ質問です。
http://www1.axfc.net/uploader/Sc/so/77438 (PDFファイル)
の証明のii)で「Hausdorff性の仮定より b の近傍 V で x_1, x_2, ..., x_{n - 1} のいずれも含まないものが存在する」の部分で b = x_i なる i が存在する場合があるのではないかと思うので、ご教示をお願いします。