如何证明一个函数在定义域内可