有如下VB程序段：

key = Val(Text1.Text)

i = 1: j = 8

Do While i <= j

    m = (i + j) \ 2

    If a(m) < key Then j = m - 1 Else i = m + 1

Loop

数组元素a(1)到a(8)存放着非升序排列的数字，执行上述程序段后，下列说法错误的是（     ）

A、i = j + 1一定成立

B、i 可能等于9

C、a(i + 1)可能等于key

D、a(j - 1)可能等于key