有如下 VB 程序段：

i = 1: j = 63: n = 0

Do While i <= j

m = (i + j) \ 2

If key = a(m) Then Exit Do

ElseIf key < a(m) Then j = m - 1: n = n - 1

Else

i = m + 1: n = n + 1 End If

Loop

数组元素a(1)到a(63)存放着递增的数据。若执行该程序段后，n 的值为 6，则下列表达式成立的是（  ）

A、key < a(1)

B、key = a(1)

C、key = a(63)

D、key > a(63)