高数的微积分基本公式，谁能告诉我这些都等于什么

(1) d/dx∫(a->x) f(t) dt =f(x)(2) d/dx∫(x->a) f(t) dt =-f(x)(3) d/dx∫(a->φ(x)) f(t) dt =φ'(x)f(φ(x))(4) d/dx∫(g(x)->φ(x)) f(t) dt =φ'(x)f(φ(x)) - g'(x)f(g(x))...