>>358-359
xの第n+1項以降の元が分かれば、
第1項から第n項まで0とし第n+1項以降がxと同じであるような列yを構成できる
∀x∈R^N,n∈N,∃y∈R^N,∀i∈N( ((i<=n)⇒y[i]=0)∧((i>n)⇒y[i]=x[i]) )

もちろん、xとyは同値である
したがって列xの同値類の代表をr(x)と表すと、r(y)=r(x)である

そして列xの決定番号をd(x)と表すとき
n>=d(x)であるなら、x[n]=r(x)[n]である

100個の列に関する決定番号をd(x1)~d(x100)
自列以外の99列の決定番号最大値をD(x1)~D(x100)
と表す

このとき　D(xi)＜d(xi)となるiはたかだか１つである