Four-square theorem