why integration is found with antiderivative

视频信息