We know antiderivatives of both functions: {{MATH_120}} and {{MATH_121}}, for {{MATH_122}} in {{MATH_123}}, are antiderivatives of {{MATH_124}} and {{MATH_125}}, respectively. So, in this example we see that the function {{MATH_126}} is an antiderivative of {{MATH_127}}. In other words, "the sum of antiderivatives is an antiderivative of a sum".