abf(ϕ(x))ϕ(x)x=ϕ(a)ϕ(b)f(t)t.