Euclid Book I PROP. XXX. -- THEOREM.

If two right lines (AB, CD) be parallel to the same right line (EF), they are parallel to one another.