怎么证明一个函数可微分等于0的条件