VII.23 Proposition VII.23
If two numbers be prime to one another, the number which measures the one of them will be prime to the remaining number.
Proof
If a, b are coprime and d∣a, any common divisor of d and
b would divide both a and b, contradicting coprimality.
lines 74–74 in main.tex