Throughout the paper, we use the Vinogradov symbols , with their regular
meaning. Recall that F G and G F are both equivalent and mean that |F| < c G
holds with some absolute constant c > 0. The constants implied by the above Vinogradov
symbols in our arguments are effective.