连续可导可微的关系证明