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

X.38 Proposition X.38

If two medial straight lines commensurable in square only and containing a medial rectangle be added together, the whole is irrational; and let it be called second bimedial.

lines 74–74 in main.tex