5.3.2 约束条件