Definite Integral of Constant Multiple of Real Function

Theorem
Let $f$ be a real function which is integrable on the closed interval $\closedint a b$.

Let $c \in \R$ be a real number.

Then:


 * $\displaystyle \int_a^b c \, \map f x \rd x = c \int_a^b \map f x \rd x$