If two lines are perpendicular to a same line, then the two lines are parallel.