If a right line (EF) intersecting two right lines (AB, CD) makes the alternate angles (AEF, EFD) equal to each other, these lines are parallel.
