各Xiがコンパクトでも可算無限個の直積取って
各Xiを覆う2つの開集合の無限直積の族から
有限個選んで覆い尽くせないでしょ