Proofs of Fermat's theorem on sums of two squares

Summary