(Substitution Rule for Definite Integrals)
assuming that is a function that is differentiable
and whose range is an interval on which is continuous.
, then by the chain rule,
is an antiderivative of
and the integral becomes