p=𝔭1𝔭2 in ℤ[i] if and only if p=x2+y2.
We will consider L∕K extension of algebraic number fields with [L:K]=n.