Jika \(K_1,\ldots,K_n\) kompak, semuanya tertutup karena \(X\) Hausdorff. Irisan \(K_1\cap\cdots\cap K_n\) tertutup dalam \(K_1\text{,}\) sehingga kompak.