Divisor of One of Coprime Numbers is Coprime to Other/Proof 1

Proof
Let $a \perp b$ and $c > 1: c \divides a$.

$c \not \perp b$.

So by definition of not coprime:


 * $\exists d > 1: d \divides c, d \divides b$

But from Divisor Relation is Transitive:
 * $d \divides c, c \divides a \implies d \divides a$

So $d$ is a common divisor of both $a$ and $b$.

So, by definition, $a$ and $b$ are not coprime.

The result follows by Proof by Contradiction.