6.5 检查约束