insertion-sort-Algorithmus pseudocode

INSERTION-SORT(A)
1 for j ← 2 to length[A]
2   do key ← A[j]
3     ▹ Insert A[j] into the sorted sequence A[1  j - 1].
4     i ← j - 1
5     while i > 0 and A[i] > key
6     do A[i + 1] ← A[i]
7         i ← i - 1
8     A[i + 1] ← key

Hallo! dies ist meine erste Frage.Könnte mir jemand helfen zu verstehen, diesen code? warum ist es 'A[i+1]=A[i]'? sollte das nicht Umgekehrt, wie wir unten in der Liste.