So after ten loops of Insertion Sort, you'll have the invariant that whatever the first ten elements of the array are going to be in sorted order, ... ... and then when Insertion Sort completes, you'll have an entire sorted array. 