Euclid's Element - Book 1, Proposition 30

Straight lines parallel to the same straight line are also parallel to one another.

In other words... Given two lines AB and CD which are both parallel to EF Then lines AB and CD are parallel to each other