コンパクトと点列コンパクトが区別できればまあまあ
ベールのカテゴリー定理を使えれば合格