|When two unequal numbers are set out, and the less is continually subtracted in turn from the greater, if the number which is left never measures the one before it until a unit is left, then the original numbers are relatively prime.|
|The less of two unequal numbers AB and CD being continually subtracted from the greater, let the number which is left never measure the one before it until a unit is left.|
|I say that AB and CD are relatively prime, that is, that a unit alone measures AB and CD.||VII.Def.12|
|If AB and CD are not relatively prime, then some number E measures them. Let CD, measuring BF, leave FA less than itself, let AF, measuring DG, leave GC less than itself, and let GC, measuring FH, leave a unit HA.|
|Since, then, E measures CD, and CD measures BF, therefore E also measures BF.
But it also measures the whole BA, therefore it measures the remainder AF. But AF measures DG, therefore E also measures DG. But it also measures the whole DC, therefore it also measures the remainder CG.
But CG measures FH, therefore E also measures FH. But it also measures the whole FA, therefore it measures the remainder, the unit AH, though it is a number, which is impossible.
|Therefore no number measures the numbers AB and CD. Therefore AB and CD are relatively prime.||VII.Def.12|
|Therefore, when two unequal numbers are set out, and the less is continually subtracted in turn from the greater, if the number which is left never measures the one before it until a unit is left, then the original numbers are relatively prime.|
This proposition assumes that 1 is the result of an antenaresis process. Antenaresis, also called the Euclidean algorithm, is a kind of reciprocal subtraction. Beginning with two numbers, the smaller, whichever it is, is repeatedly subtracted from the larger.
If the initial two numbers are a1 (AB in the proof) and a2 (CD), with a1 greater than a2, then the first stage is to repeatedly subtract a2 from a1 until a remainder a3 (AF) less than a2 is found. That can be stated algebraically as
The next stage repeatedly subtracts a3 from a2 leaving a remainder a4 (CG):
For the hypotheses of this proposition, the algorithm stops when a remainder of 1 occurs:
The proof is not difficult. It depends on the observation that if b divides (that is, measures) both c and d, then b divides their difference c - d. So, if some number b divides both a1 and a2, then it divides the remainder a3, too. And since it divides both a2 and a3, it divides the remainder a4. And so forth, with the final conclusion that b divides the last remainder 1.
Since there is no number b (and by "number" is meant a number greater than 1) which divides 1, there is no number that divides both a1 and a2. Therefore a1 and a2 are relatively prime.
Compare this proposition to X.2, a somewhat analogous statement about magnitudes.
This proposition is used in the proof of the next one.
Next proposition: VII.2