four square theorem