课本上有这个定理
F'(x)=f(x)

课本上的原话

那个t是积分变量，定积分求完了以后，这个变量就要代换成积分上限和下限，就不复存在了。