「コンパクトハウスドルフ空間なら任意の点列は収束部分列を持つ」

というのは真ですか?