Fermat's theorem
Fermat's theorem on sums of two squares