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

VII.5 Definition VII.5

The greater number is a multiple of the less when it is measured by the less.

lines 74–74 in main.tex