Lines which are parallel to the same line are to each other.
Two lines which are both parallel to the same line, are parallel to each other. Prove the theorem.