Theorem that relates the integral of a product of functions to the integral of their derivative and antiderivative