9.3 显示和验证几何约束