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

X.83 Proposition X.83

Only one straight line can be annexed to the line producing with a rational area a medial whole.

lines 74–74 in main.tex