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

VII.12 Definition VII.12

Numbers prime to one another are those which are measured by a unit alone as a common measure.

lines 74–74 in main.tex