If a straight line falling on two straight lines makes the alternate angles equal to one another, then the straight lines are parallel to one another.
Let EF cross AB at G and CD at H, with alternate angles AEH = GHD equal.
We prove AB is parallel to CD.