The straight lines joining equal and parallel straight lines (at the extremities which are in the same directions) are themselves equal and parallel.
lines 74–74 in main.tex