a が closure(A) の集積点であるとすれば、 a の任意の近傍 (a - ε, a + ε) は、 a と異なる
closure(A) の孤立点でない点を含む。

これを示せばいいですね。