While studying Arithmetics, I came across an interesting theorem on the properties of primes in a quadratic extension $K$ of the ring $\mathbb{Z}$. The theorem writes as follows:
Let $x\in K$. If $N(x)$ is prime, then $x$ is prime.
The provided proof of the theorem states:
Suppose that $x=yz$, $y,z\in K$. (If $N(x)$ is prime) Then $N(x)=N(y)N(z)$, so at least one of $N(y)$, $N(z)$ equals $\pm1$, i.e. either $y$ or $z$ is a unit, while the other one is (by definition) adjoint to $x$.
However, this theorem doesn't appear to make sense to me due to the following points:
Firstly, for a nonunit, nonzero number $x\in K$ to be prime, its only divisors must be the units of $K$ and elements adjoint to itself.
Secondly, by definition, $N(x)=x\overline{x}$.
Lastly, given that $N(x)$ is always the product of two other numbers in $K$, how can it be that $N(x)$ is ever a prime? For every prime $x$, $N(x)$ cannot be prime, as $x$ is one of its divisors, right?
I'm very confused by this Theorem and would appreciate some insight on it. Thanks! :)