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

VI.16 Proposition VI.16

If four straight lines be proportional, the rectangle contained by the extremes is equal to the rectangle contained by the means; and if the rectangle contained by the extremes be equal to the rectangle contained by the means, the four straight lines will be proportional.

lines 74–74 in main.tex