∫abf⁡(x)⁢ϕ⁡(x)⁢ⅆ⁡x=f⁡(a)⁢∫acϕ⁡(x)⁢ⅆ⁡x+f⁡(b)⁢∫cbϕ⁡(x)⁢ⅆ⁡x.