垂直于同一直线的两条直线互相平行是不是平行线的性质