Припустимо,x це гранична точкаˉA. Ми покажемо, щоx є граничною точкоюA, і, отже,x∈ˉA. Тепер для будь-якогоϵ>0, існуєa∈ˉA,a≠x, таке, що...Припустимо,x це гранична точкаˉA. Ми покажемо, щоx є граничною точкоюA, і, отже,x∈ˉA. Тепер для будь-якогоϵ>0, існуєa∈ˉA,a≠x, таке, що a∈(x−ϵ2,x+ϵ2). Якщоa∈A, нехайb=a. якщоa∉A, тодіa є граничною точкоюA, так існуєb∈A,b≠a іb≠x, таке, що b∈(a−ϵ2,a+ϵ2). У будь-якому випадку …