F(x)はf(x)を積分して得られる関数（原始関数）の１つである。
このとき以下の式を証明せよ。
F'(x)=lim(dx→0){F(x+dx)-F(x)}/dx=f(x)

お願いします。