s∈l^∞の同値類における番号Nの最小値をsの決定番号といいいd(s)で表す

（命題）
あるd>=d(s)に対してs(d)、s(d+1)、・・・が分かるとsが属する代表元r(s)がわかりd(s)も分かる

わからん