垂直于一条直线的两条线平行是真命题