>>381
コンパクトでいいって極限の存在を無条件にみとめればだろ?
そんなの自明なわけないやん?
どエライ証明になるよね?