定理:
ハウスドルフ空間のコンパクト部分集合は閉集合である。