>>740
訂正
時枝戦略のポイントはsのd(s)番目以降の値が決まっていることだな。箱を開けなくても分かる。
箱一列でも成立。選択公理不要。