Fermat's theorem on sums of 2 squares

See the proof that odd primes are sums of 2 squares if and only if they are 1 more than a multiple of 4 and that this is in a unique way here