豪斯多夫空间
更广泛地，对于 "X" 是紧豪斯多夫空间的情况，定理一样成立：