Setiap \(x\in\overline{A}\) berada dalam \(A\) atau \(A'\text{;}\) kedua kasus memberi \(x\in C\text{.}\) Jadi \(\overline{A}\subseteq C\text{.}\)