I.14 Proposition I.14
If with any straight line, and at a point on it, two straight lines not lying on the same side make the adjacent angles equal to two right angles, the two straight lines will be in a straight line with one another.
Proof
Suppose not; then I.13 and Common Notion 1 yield contradictory angle
sums.
lines 74–74 in main.tex
