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

V.3 Proposition V.3

If a first magnitude be the same multiple of a second that a third is of a fourth, and if equimultiples be taken of the first and third, they will also be equimultiples respectively, the one of the second and the other of the fourth.

lines 74–74 in main.tex