7.1 约束条件