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

VI.17 Proposition VI.17

If three straight lines be proportional, the rectangle contained by the extremes is equal to the square on the mean; and if the rectangle contained by the extremes be equal to the square on the mean, the three straight lines will be proportional.

lines 74–74 in main.tex