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

VIII.10 Proposition VIII.10

If numbers fall between each of two numbers and a unit in continued proportion, however many numbers fall between each of them and a unit in continued proportion, so many also will fall between them in continued proportion.

lines 74–74 in main.tex