7.3.3 约束条件