・A(j)とB(j)が「同じ側」のとき、区間1〜区間jはいずれも支配区間でなくなる。(トン死)
・最後のk+1個の区間がすべて「左側〜右側」なら、最後のk個が支配区間になる。
ことを示せばOK