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

nat.prime.sum_two_squares

Fermat's theorem on the sum of two squares. Every prime congruent to 1 mod 4 is the sum of two squares