Primitive of Constant Multiple of Function/Proof 2

Proof
From Derivative of Constant Multiple:
 * $\map {\dfrac \d {\d x} } {c \map f x} = c \map {\dfrac \d {\d x} } {\map f x}$

The result follows from the definition of primitive.