Find an antiderivative of the function {{MATH_144}}. {{CMD_145}} Differentiate the function {{MATH_146}}. {{CMD_147}} Since {{MATH_148}}, it follows that {{MATH_149}} is an antiderivative of {{MATH_150}}. To summarize: The sum of antiderivatives is an antiderivative of a sum. {{CMD_151}} We have proved the following theorem.