The antiderivative of a sum (or difference) of two functions is the sum (or difference) of their antiderivatives.