被积向量的线性组合可以拆

把 S 分成两块保持一致,则满足区间可加性

另一侧的积分是相反数,记为