축소구간정리