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