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,