Sums of two squares #
Proof of Fermat's theorem on the sum of two squares. Every prime congruent to 1 mod 4 is the sum of two squares.
Todo #
Fully characterize the natural numbers that are the sum of two squares: those such that for every prime p congruent to 3 mod 4, the largest power of p dividing them is even.