＞f(a)-f(b)=∫[b→a]f'(x)dxでも示せる。
導函数は必ず積分可能になるんだっけ？
f'が積分可能でなければこれは駄目なような