Delta derivative of the delta integral

Theorem

The following formula holds: $$\left( \int_s^t f(\tau) \Delta \tau \right)^{\Delta} = f(t),$$ where $\int$ denotes the delta integral and $\Delta$ denotes the delta derivative.