Insertion sort by Aristote