>>556
>>580の第２段の
>従って、H(ε)⊂[a,b] から、直線Rにおいて、H(ε)はコンパクトである。
の部分と、>>583の第６段の
>従って、S(ε)⊂[a,b] から、直線Rにおいて、S(ε) はコンパクトである。
の部分は、どちらも省略して消しゴムで消す。