Straight lines parallel to the same straight line are also parallel to one another.
Let AB ∥ CD and EF ∥ CD.
We prove AB ∥ EF.