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$.

Title	Euclid’s lemma
Canonical name	EuclidsLemma
Date of creation	2013-03-22 11:46:53
Last modified on	2013-03-22 11:46:53
Owner	KimJ (5)
Last modified by	KimJ (5)
Numerical id	9
Author	KimJ (5)
Entry type	Theorem
Classification	msc 11-02
Classification	msc 11A05