怎么证明一个函数是另一个函数的反函数