「境界は閉集合である」ことの証明。