the first term is much smaller than the second one seems to be hard to handle. This difficulty comes from the reason that those two terms are not balanced in a certain sense which is satisfied in case (I). In order to circumvent this difficulty, we use the additional congruence assumption r ≡ 2 (mod 4).