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