Primitive of Composite Function/Corollary

Theorem
Let $f$ and $g$ be a real functions which are integrable.

Let the composite function $g \circ f$ also be integrable.

Then:

where $u = \map f x$.