杉浦光夫著『解析入門I』を読んでいます。

解析入門Iのp.139定理6.10の証明ですが、

「従って f^(-1) は y_0 で連続である。」

とありますが、なぜ、そう言えるのでしょうか？