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

VIII.20 Proposition VIII.20

If one mean proportional number fall between two numbers, the numbers will be similar plane numbers.

lines 74–74 in main.tex