lagranges four square theorem