...that every natural number can be written as the sum of four squares?