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