Misalkan \(X\) ruang topologi kompak dan \(C\) subhimpunan tertutup dari \(X\text{.}\) Apa yang perlu dilakukan untuk membuktikan bahwa \(C\) kompak?