abf(x)ϕ(x)dx=f(c)abϕ(x)dx.