さらにformula_62がチコノフの定理からコンパクトとなることからその閉部分集合formula_63はコンパクトである。