four-square theorem