t = a + x,x:a->a+l,t:0->l.dt = dx.
f(t-a)=f(t).
S_{x:a->a+l}f(x)dx = S_{t:0->l}f(t-a)dt = S_{t:0->l}f(t)dt,与a无关.