平行于同一条直线的两条直线一定平行。