Proposition: 7.29: Prime not Divisor implies Co-prime
(Proposition 29 from Book 7 of Euclid's “Elements”)
Every prime number is prime to every number which it does not measure.
![fig29e](https://github.com/bookofproofs/bookofproofs.github.io/blob/main/_sources/_assets/images/euclid/Book07/fig29e.png?raw=true)
Modern Formulation
see co-prime primes.
Table of Contents
Proofs: 1
Mentioned in:
Proofs: 1 2 3
Thank you to the contributors under CC BY-SA 4.0!
![](https://github.com/bookofproofs/bookofproofs.github.io/blob/main/_sources/_assets/images/calendar-black.png?raw=true)
- Github:
-
![bookofproofs](https://github.com/bookofproofs.png?size=32)
- non-Github:
- @Fitzpatrick
References
Adapted from (subject to copyright, with kind permission)
- Fitzpatrick, Richard: Euclid's "Elements of Geometry"
Adapted from CC BY-SA 3.0 Sources:
- Prime.mover and others: "Pr∞fWiki", https://proofwiki.org/wiki/Main_Page, 2016