If two lines are parallel, then any line parallel to one is parallel to the other.