Fermat's theorem on sums of two squares