Abstract: The generating series encoding the number of ways to write an integer as a sum of two squares is a modular form. This fact, combined with properties of modular forms, recovers the so-called Fermat's Christmas theorem, which characterizes which numbers