Odd Number Coprime to Number is also Coprime to its Double

Theorem

 * If an odd number be prime to any number, it will also be prime to the double of it.