Euclid's lemma

Euclid's lemma (Greek ) is a generalization of Proposition 30 of Book VII of Euclid's Elements. The lemma states that If a positive integer divides the product of two other positive integers, and the first and second integers are coprime, then the first integer divides the third integer.