Euclid lemma (source code)

= Euclid lemma
{c}
{wiki}

If a prime divides a product of integers, it divides at least one factor.