ところで、ある関数の逆関数が存在するための必要十分条件って何?