>>507
コンパクトである事と有界閉集合である事は、常に同値である訳ではない