Euclid's lemma/Definition

A prime number that divides a product of two integers must divide one of the two integers.