>>225
余計な部分なんて無い
∃ε_0 >0 (B(a;ε_0)⊆A)を仮定すると、
∀ε>0 (¬(B(a;ε)⊆A^C))が示せる