insertion sort dokazan