如何证明一个函数是另一个函数的全微分