>>839
箱の中身を確率変数としても、時枝戦略による限り「確率0」はない

2つ以上の列が同時に、相手より大きい決定番号になることがないから

そんなことがあったら順序の性質と矛盾する