서열정리도 끝