垂直于同一条直线的两条直线一定平行,