0からnum1個の連続した整数の中からnum2個だけ取り出したものを降順並べた時のindex番目のものを返します 例えば01234から2個選ぶ場合 0番目が34 1番目が24 2番目が23 3番目が14 という感じです
The WitnessのEliminatorを作るときに、 領域外にも影響するマークがあった時にややこしくなってしまうのでこの関数を作りました 作る時に1の三角数+2の三角数…+nの三角数とか (1の三角数)+(1の三角数+2の三角数)…+(1の三角数+2の三角数+…nの三角数)みたいなのが出てきたのが大変だった
