Let be irreducible. If , then . A nonzero integer that is neither a unit nor, up to sign, a prime number factors nontrivially in , so necessarily for a prime .
Now suppose and write . If , then
and both factors lie in and are nonunits. If , choose a prime ; then is again a factorization into two nonunits of , since . Both cases contradict irreducibility. Hence

Articles by others on the same topic (0)

There are currently no matching articles.