The representation theory of quadratic forms has a long history, starting in the seventeenth century with Fermat's assertions of 1640 about the numbers represented by x2 + y2. In the next century, Euler gave proofs of these and some similar assertions about other simple binary quadratics, and although these proofs had some gaps, they contributed greatly to setting the theory on a ¯rm foundation.