Let and let an antiderivative of . Then:

Plugging back in,