f:(a,b)→(c,d)を連続関数で逆関数f^(-1):(c,d)→(a,b)が存在するものとする。次を示せ。

a) fは狭義単調増大または減少である。
b) f^(-1)は連続である。

よろしくお願いします。