lagranges four-square theorem