An alternate proof of Cohn's four squares theorem

While various techniques have been used to demonstrate the classical four squares theorem for the rational integers, the method of modular forms of two variables has been the standard way of dealing with sums of squares problems for integers in quadratic fields. The case of representations by sums of four squares in was resolved by Götzky, while those of and were resolved by Cohn. These efforts utilized modular forms. In previous work, the author was able to demonstrate Götzky's theorem by means of the geometry of numbers. Here Cohn's theorem on representation by the sum of four squares for is proven by a combination of geometry of numbers and quaternionic techniques.