Euclid's Lemma for Irreducible Elements

Lemma
Let $\left({D, +, \times}\right)$ be a Euclidean domain whose unity is $1$.

Let $p$ be an irreducible element of $D$.

Let $a, b \in D$ such that:
 * $p \mathrel \backslash a \times b$

where $\backslash$ means is a divisor of.

Then $p \mathrel \backslash a$ or $p \mathrel \backslash b$.

Proof
Let $p \mathrel \backslash a \times b$.

Suppose $p \nmid a$.

Then from the definition of irreducible:
 * $p \perp a$

Thus from Euclid's Lemma for Euclidean Domains:
 * $p \mathrel \backslash b$

Similarly, if $p \nmid b$:
 * $p \mathrel \backslash a$

So:
 * $p \mathrel \backslash a b \implies p \mathrel \backslash a$

or:
 * $p \mathrel \backslash b$

as we needed to show.

Also see

 * Euclid's Lemma for Prime Divisors, for the usual statement of this result, which is this lemma as applied specifically to the integers.