>>489
コンパクトを定義通りにやるのはどうかと
コンパクト⇔有界閉で終わり、でいいんかねぇ