G(x) = \displaystyleintegrate from a to x of f(t) dt の場合、TFC1によって G'(x) は何ですか。