Use the norm N(a+b−n)=a2+nb2. If n is composite, compare n=(−n)(−−n) with an integer factorisation; if n is prime, n is odd and n+1=(1+−n)(1−−n)has a nontrivial integer factorisation. Norm considerations show the relevant factors are irreducible and nonassociate, so unique factorisation fails.