Original
If we differentiate the function {{MATH_190}}, we get that
{{MATH_191}}, for {{MATH_192}} in {{MATH_193}}.
In other words, ``a constant multiple of an antiderivative is an antiderivative of a constant multiple of a function.''
Is this always true?