试说明如果PROTO-vEB-MINIMUM中的第9行被执行，则proto-vEB结构为空。
Proto-vEB-Minimum(V) if V.u == 2 if V.A[0] == 1 return 0 else if V.A[1] == 1 return 1 else min-cluster = Proto-vEB-Minimum(V.summary) if min-cluster == NIL return NIL else offset = min-cluster = Proto-vEB-Minimum(V.cluster[min-cluster]) return index(min-cluster, offset)
