证明是微分函数(3个结果)
证明是微分函数