Solution (source code)

= Solution

For continuous $f$, $F(x)=\int_a^xf(t)dt$ is <differentiable> with $F\prime=f$. Conversely, if $F\prime$ is continuous, $\int_a^bF\prime=F(b)-F(a)$.