By the Fundamental Theorem of Calculus and the product rule,

Integrating over and applying the FTC to the total derivative gives