Euclid's Lemma (For Prime Divisors) - Expii

Euclid's lemma for prime divisors says that if a prime p divides a product mn, then p divides at least one of the factors m, n.