逆関数と元の関数が共有点を持つとき、その共有点は ｙ＝ｘ 上にある。

は真か？

また、>>129で連続性を外せばどうなるか？