Fundamental Theorem of Calculus/Second Part/Proof 1

Proof
Let $G$ be defined on $\left[{a \,.\,.\, b}\right]$ by:
 * $\displaystyle G \left({x}\right) = \int_a^x f \left({t}\right) \rd t$

We have:
 * $\displaystyle G \left({a}\right) = \int_a^a f \left({t}\right) \rd t = 0$ from Integral on Zero Interval
 * $\displaystyle G \left({b}\right) = \int_a^b f \left({t}\right) \rd t$ from the definition of $G$ above.

Therefore, we can compute:

By the first part of the theorem, $G$ is a primitive of $f$ on $\left[{a \,.\,.\, b}\right]$.

By Primitives which Differ by Constant‎, we have that any primitive $F$ of $f$ on $\left[{a \,.\,.\, b}\right]$ satisfies $F \left({x}\right) = G \left({x}\right) + c$, where $c$ is a constant.

Thus we conclude: