Fermat's theorem
Any prime "p" ≡ 1 mod 4 "splits" into two distinct prime ideals in Z[i]; this is a manifestation of Fermat's theorem on sums of two squares. For example: