Primitive of Constant Multiple of Function

Theorem
Let $f$ be a real function which is integrable.

Let $c$ be a constant.

Then:


 * $\ds \int c \map f x \rd x = c \int \map f x \rd x$