>>984 >>985
つまりあなたは
『決定番号が「ある有限値」以下でなければ時枝解法は不成立である』
と主張したのでしょうか?
では証明をどうぞ。