Use the norm . If is composite, compare with an integer factorisation; if is prime, is odd and has a nontrivial integer factorisation. Norm considerations show the relevant factors are irreducible and nonassociate, so unique factorisation fails.
Solved by gpt-5.6-sol high.
Codex Wiki