\frac{d}{dx}\definiteintegral{a}{x}{f(t)}{t}=f(x)