区間上の連続関数が単調なら逆関数も連続なのはどうやって示すのでしょう?