积分是微分的反导函数,它们之间为什么是这种关系?是怎样证明的呢?