p.86

定理2.6　区間Ｉで定義された連続関数の値域ｆ（Ｉ）は区間である。

この証明、ギャップありすぎじゃないですか？

結構、雑なところがあるんだよな。ムラがある。