微分的导数是原函数吗