This proof used parity, binomial expansion, quadratic residues and the fact of the sum of squares. The main( last) fact was that if the product of two coprime odd numbers is equal to the sum of two squares, then the non square parts of the integers are congruent to 1mod4.