Proposition: Prop. 9.31: Odd Number Coprime to Number is also Coprime to its Double
Euclid's Formulation
If an odd number is prime to some number then it will also be prime to its double.
* For let the odd number $A$ be prime to some number $B$.
* And let $C$ be double $B$.
* I say that $A$ is [also] [prime to]bookofproofs$1288 $C$.
Modern Formulation
(not yet contributed)
Table of Contents
Proofs: 1
Thank you to the contributors under CC BYSA 4.0!
 Github:

 nonGithub:
 @Fitzpatrick
References
Adapted from (subject to copyright, with kind permission)
 Fitzpatrick, Richard: Euclid's "Elements of Geometry"
Adapted from CC BYSA 3.0 Sources:
 Prime.mover and others: "Pr∞fWiki", https://proofwiki.org/wiki/Main_Page, 2016