7.4.2 约束总量不变