>>694
>決定番号の分布が可測になる入れ方もOK
をクリアしても
>そしてその場合は、箱入り無数目が成立する
が言えるにはさらに「単独最大決定番号の列が列iである事象と回答者が列iを選ばない事象が独立である」が必要だね。
まぁ自然な条件だし仮定に追加することで良いと思うけど。