为什么平行线定义要加不重合