Prvi del dokaza koncan - insertion_sort res vrne urejen seznam.