なんか結局、 R^1 の連結部分集合は区間であるということを証明するのと同じくらいの労力がかかりそうな気がします。
著者の簡単であるという発言が誤りだったということになりそうです。