TFC1からTFC2を証明します: F' = f で f が [a,b] で連続なら、 integrate from a to b of f(x) dx = F(b) - F(a) 。