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

VII.10 Proposition VII.10

If a number be parts of a number, and another be the same parts of another, alternately, whatever parts or part the first is of the third, the same parts or the same part will the second also be of the fourth.

lines 74–74 in main.tex