>>93
仮にｂ＝x_iなるiがあったとします。G_(i+1)は閉より、その補集合は開となります。
また、Hausdorff性から(G_(i+1))^c∩Aに属する各x_n(n≦i-1)とｂとを分離する開集合
が(各ｎに対して)存在します。それらの共通部分と、(G_(i+1))^cとの共通部分はまた開
であり、これらはｂ以外のＡの点を含まず、ｂがＡの集積点であることに反します。
矛盾等あればご指摘お願いします。