Integration/Substitution/Fact/Proof
Proof
Since is continuous and is continuously differentiable, both integrals exist. Let denote a primitive function for , which exists, due to fact. Because of the chain rule, the composite function
has the derivative . Therefore,