如果两条直线都与同一条直线垂直，那么这两条直线互相平行。