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

X.II.2 Definition X.II.2

If the lesser term is commensurable in length with the assigned rational straight line, the whole is called a second binomial.

lines 74–74 in main.tex