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