一様連続の証明について（改）
同じ問題の質問を何度もすみません。
お蔭様でだんだん分かってきましたので、あともう少しだと思うので、
よろしくお願いします。
定理：『閉区間〔a,b〕で定義された連続関数は一様連続である。』
の証明についてです。
一様連続とは
「任意のε>0に対してδ>0が存在して、｜x－y｜<δを満たす区間内の
全てのx、yに対し、｜f(x)ーf(y)｜<εが成り立つ。」
ということですので、
背理法でこの定理を証明する場合は
「あるε>0において、どのようなδ>0に対しても｜x'-y'｜<δ
かつ｜f(x')-f(y')｜≧ε x'、y'∈〔a,b〕となるx'、y'が存在する。」・・・（※）
ことの矛盾を導けばよいのですが、
ここで以下のサイトの命題４、１を見てください。
http://www.google.co.jp/search?hl=ja&safe=off&q=%E4%BA%95%E4%B8%8A%E6%B7%B3%E3%80%80%E4%B8%AD%E9%96%93%E8%A9%A6%E9%A8%93%E3%80%80%E8%AC%9B%E7%BE%A9%E5%86%85%E5%AE%B9%E3%80%80%E6%96%B0%E3%81%97%E3%81%84%E5%B9%B4&btnG=%E6%A4%9C%E7%B4%A2&lr=
これは私が勉強している参考書「微分積分学 難波誠著」と同じ証明方法です。
ここまでは過去の質問と同じなのですが、
今回の本題はここからです。
さてこの定理は、区間が開区間では成り立たないので、条件として閉区間であることが必要ですが、
証明のどこで閉区間でないと成り立たない部分があるのかが分からないのです。
この証明では閉区間〔a,b〕を開区間(a,b)と置き換えてもそのまま成り立つような気がするのです。
この証明内で使われている「ボルツァーノ・ワイヤストラスの定理」は「有界な数列は収束する部分列を持つ」という定理ですが、
有界列というのはxn∈(a,b)のように開区間の範囲内でもよかったと思うので、これも証明内で閉区間〔a,b〕を開区間（a,b）に置き換えてもそのまま成り立つと思います。
この証明ではいったいどこで開区間では成立しない閉区間限定という条件を使っているのでしょうか？
またどこかで勘違いをしていると思うのですが、
分からずに困っています。
よろしくお願いいたします。
