Find an antiderivative of the function {{MATH_204}}. {{CMD_205}} Differentiate the function {{MATH_206}}. {{CMD_207}} Since {{MATH_208}}, it follows that {{MATH_209}} is an antiderivative of {{MATH_210}}. To summarize: The constant multiple of an antiderivative is an antiderivative of a constant multiple of a function. {{CMD_211}} We have proved the following theorem. {{CMD_212}}{{CMD_213}} If {{MATH_214}} is an antiderivative of {{MATH_215}}, and {{MATH_216}} is a constant, then {{MATH_217}} is an antiderivative of {{MATH_218}}.