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

VII.3 Definition VII.3

A number is a part of a number, the less of the greater, when it measures the greater.

lines 74–74 in main.tex