6.1.2 约束条件