Proof: If we apply the theorem to the ring of integers to obtain an n–extension
R with u(R) ≤ n. Since the integer n is not the sum of fewer than n units, we
have u(R) = n. If we rewind the proof, we see that R is a quotient ring of the
polynomial ring over the integers with infinitely many variables, hence factorial.
.