怎么证明一个函数的反函数是它本身的函数