d/dx∫[a_x]f(t)dt=f(x)

って重要な公式ですか？