The function is
If f is integrable on [a, b], then we define
(Properties of definite integrals:)
(Substitute)
Therefore .