Numbers prime to one another are the least of those which have the same ratio with them.
Proof
If two coprime numbers a, b had smaller numbers c, d with
a:b=c:d, then by VII.20 c, d would measure a, b a
common number of times; the common measure would contradict
coprimality.