「Aの開核をBとすると
B = ∪[a ∈ B] U_a
ここで、U_aはaの開近傍で U_a ⊂ Aとなるもの。」
を証明できればできたようなもんだ。