#### PROPOSITION 30.

If two numbers by multiplying one another make some number, and any prime number measure the product, it will also measure one of the original numbers.

For let the two numbers A, B by multiplying one another make C, and let any prime number D measure C; I say that D measures one of the numbers A, B.

For let it not measure A.

Now D is prime; therefore A, D are prime to one another. [VII. 29]

And, as many times as D measures C, so many units let there be in E.

Since then D measures C according to the units in E, therefore D by multiplying E has made C. [VII. Def. 15]

Further, A by multiplying B has also made C; therefore the product of D, E is equal to the product of A, B.

Therefore, as D is to A, so is B to E. [VII. 19]

But D, A are prime to one another, primes are also least, [VII. 21] and the least measure the numbers which have the same ratio the same number of times, the greater the greater and the less the less, that is, the antecedent the antecedent and the consequent the consequent; [VII. 20] therefore D measures B.

Similarly we can also show that, if D do not measure B, it will measure A.

Therefore D measures one of the numbers A, B. Q. E. D.

This work is licensed under a Creative Commons Attribution-ShareAlike 3.0 United States License.

An XML version of this text is available for download, with the additional restriction that you offer Perseus any modifications you make. Perseus provides credit for all accepted changes, storing new additions in a versioning system.

load focus Greek (J. L. Heiberg, 1883)
hide Display Preferences
 Greek Display: Unicode (precombined) Unicode (combining diacriticals) Beta Code SPIonic SGreek GreekKeys Latin transliteration Arabic Display: Unicode Buckwalter transliteration View by Default: Original Language Translation Browse Bar: Show by default Hide by default