選択関数 f:R^N→R^N,f(s)∈[s] が存在すればよい。
なぜならsの有限個の項が不明でも、不明な項番号の最大値をmとすればm個の0の後にs(m+1)以降をくっつけたs'はs〜s'だからf(s)=f(s')だから。