The antiderivative of a sum of functions (formula with example)