積分の公式

d d x a x f ( t ) d t = f ( x )

F(t) f(t) の原始関数とすると
a x f(t)dt
  =F(x)F(a)
d dx a x f(t)dt
  = d dx { F(x)F(a) }
  = d dx F(x) d dx F(a)
F(a) は定数なので
d dx F(a) 0 .したがって,
  =f(x)