분할의 역정리