Euclid’s lemma

If $a$, $b$, and $c$ are integers (or, more generally, elements of a principal ideal domain) with $a|bc$ and $\text{gcd}(a,b)=1$, then $a|c$.