NewRelease!:コンパクト集合・被覆定理

R1上の被覆定理を修正。
最大値最小値定理の修正に備えて。