Lagrange's four-square theorem states that any natural number can be expressed as the sum of four integer squares. I've noticed that the first few values of 8n-1 can all only be expressed as a minimum of the sum of four squares. Is this true for all values of n? What's the proof behind it? Thanks.