中間値の定理
intermediate value theorem
実数が連続であることがら導かれる性質
連続な線が引けるので云々
ボルツァノ-ワイエルシュトラスの定理