>>560
コンパクトの定義を満たすことを直接証明してください。