>>907
ではコンパクトの定義を笑われないように教えてくれ。