Source — Euclid's Elements, encoded as an rrxiv paper

I.28 Proposition I.28

If a straight line falling on two straight lines make the exterior angle equal to the interior and opposite angle on the same side, or the interior angles on the same side equal to two right angles, the straight lines will be parallel to one another.

lines 74–74 in main.tex