一时想不起来)两直线平行,其之间任意垂直线段都相等,叫什么啊我指的是是什么定理或公理