>>539
> どうして問題の仮定から1.が導けるのか
Xがコンパクトだから。

> どうして1.→2.が言えるのか
これを>>514で頑張れと言ったんだけど>>512を読み間違えてたorz