>>706
「箱の数が有限だと時枝解放は成立しない」に対する反例ってこと？
で、
＞c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える
↑の怪しげな宣言は何？
問題を変えましたという宣言？
いやいやｗ　試合の途中で勝手にゴールの位置変えちゃダメでしょｗ