チコノフの定理
X, Y をコンパクト空間とすれば、その直積空間 X ×Y もコンパクトである。