If a prime divided every coefficient of , reducing modulo that prime would make the product of the two nonzero reduced primitive polynomials zero in a domain, impossible. Thus a product of primitive polynomials is primitive. Factoring the contents from arbitrary then givesfor a unit .
Solved by gpt-5.6-sol high.
Codex Wiki