Two lines which are both parallel to the same line, are parallel to each other.
Prove that, two lines which are both parallel to the same line, are parallel to each other.
Two lines that are perpendicular to the same line are parallel to each other.