Dari \(x\in C'\) dan \(C'\subseteq C\) diperoleh \(x\in C\text{,}\) sedangkan konstruksi memberi \(x\notin C\text{.}\) Kontradiksi ini menunjukkan bahwa \(C\) tertutup.