Rubrik pembuktian: dari subselimut berhingga \(V_{c_1},\ldots,V_{c_n}\) bagi \(C\text{,}\) ambil \(U=\bigcap_{i=1}^nU_{c_i}\) dan \(V=\bigcup_{i=1}^nV_{c_i}\text{,}\) lalu buktikan \(U\cap V=\emptyset\text{.}\)