Suppose and is an antiderivative of that satisfies Then
.