Noetherian Domain is Factorization Domain

Theorem
Let $R$ be a noetherian integral domain.

Then $R$ is a factorization domain.

Proof
Let $\FF$ be the set of ideals of $R$ of the form $x R$, with $x$ not a unit and such that $x$ cannot be decomposed in the form:
 * $x = u p_1 \dotsm p_r$

where $u$ is a unit and $p_1, \dotsc, p_r$ irreducible.

We show by contradiction that $\FF = \O$.

$\FF \ne \O$.

Since $R$ is noetherian, we can choose a maximal element $a R \in \FF$.

By construction, $a$ is not irreducible, so we can write:
 * $a = b c$

with $b, c$ non-units and not associates.

By the definition of associates in a commutative ring this means that $b R \subsetneq a R$ and $a R \subsetneq b R$.

Since $a R$ is assumed maximal, this means that $b R$ and $c R$ do not belong to $\FF$.

Therefore there exist units $u, v$ and irreducible elements $p_1, \dotsc, p_r, q_1, \dotsc, q_s$ such that:
 * $b = u p_1 \dotsm p_r$

and:
 * $c = v q_1 \dotsm q_s$

But this implies that:
 * $a = b c = \paren {u v} p_1 \cdots p_r \cdot q_1 \dotsm q_s$

This is a contradiction, since $a$ cannot be written in this form.