Insertionsort implemented. Proved that result is sorted.