4.1.8 “相切”约束