d/dx∫f(x)dx=f(x).
出自:滁州学院微积分(上)