>>907
> ⇒の証明
> 任意のＵ∈Nbd(ｘ)について、ｘ∈clＡより
> Ｕ∩Ａ≠Φ

ここで減少する可算基U_nを取れば、上のUとして各U_nを考えれば
U_n∩A≠φゆえ、点x_n∈U_n∩Aが取れて、点列{x_n|n=1,2,3・・・}が求めるものになる。

とやるかな。