>69
 (d/dx){ ∫_[x,a] f(t)dt } = f(x).
 不定積分の定義?