∫abf⁡(x)⁢ϕ⁡(x)⁢ⅆ⁡x=f⁡(c)⁢∫abϕ⁡(x)⁢ⅆ⁡x.