Definite Integral of Constant Multiple of Real Function/Proof 2

Proof
Let $F$ be a primitive of $f$ on $\closedint a b$.

By Linear Combination of Definite Integrals:


 * $\ds \int_a^b \paren {\lambda \map f t + \mu \map g t} \rd t = \lambda \int_a^b \map f t \rd t + \mu \int_a^b \map g t \rd t$

for real functions $f$ and $g$ which are integrable on the closed interval $\closedint a b$, where $\lambda$ and $\mu$ be real numbers.

The result follows by setting $\lambda = c$ and $\mu = 0$.