短正確列の分割条件とその応用