6.1.3 约束条件