Euclid's Lemma

Theorem
Let $a, b, c \in \Z$.

Let $a \divides b c$, where $\divides$ denotes divisibility.

Let $a \perp b$, where $\perp$ denotes relative primeness.

Then $a \divides c$.

Also see

 * Euclid's Lemma for Prime Divisors