>>686 訂正

「支配区間」が(1つ以上)ある ⇔ 最後の2つの区間(n-1とn)が「左側〜右側」

「支配区間」がk個以上ある ⇔ 最後のk+1の区間(n-k〜n)が「左側〜右側」