Motzkin-Rabinの定理ってやつらしいね。無理ゲー