He proved the theorem, stated by Bachet without justification, that every positive integer is the sum of four squares, 1770.
Απέδειξε το θεώρημα,που είχε διατυπώσει ο Bachet χωρίς αιτιολόγηση, ότι κάθε θετικός ακέραιος είναι το άθροισμα των τεσσάρων τετραγώνων, 1770.