[Sorting] Correctness and the Loop Invariant

삽입 정렬을 이용하는 문제다. 저번 Insertion Sort-Part2 와 비슷하다. 한 가지 다른 점은, 이번에는 정렬을 마치고 난 후에 정렬한 결과를 출력하는 것이다.