Fermat's theorem
Fermat's theorem on sums of two squares is strongly related with the theory of Gaussian primes.