This is the pseudocode for insertion sort. According to my teacher the for loop repeats once. Can someone explain why?
for i<-2,n do
aux<-v [i]
j<-i-1
while aux<v [j] AND j>=0 do
v[j+1] <-v [j]
j<-j-1
end while
v[j+1] <-aux
end for