ループ内でのIndexの処理について

Question

シェルソートの勉強で、ある書籍にのっているまま（変数名など変更）のスクリプトが以下の世ものです。
結果はちゃんとソートされるのですが、ステップごとに変数の値を確認していてどうしてもわからないところがあります。

二つ目のForループの中でjの値は最初「５」で次に「０」になります。
その次の行のif文では
jが5の時は、list[j-step]はlist[5-5]すなわちlist[0]となります。
しかしjが0の時は、list[j-step]はlist[0-5]すなわちlist[-5]となってしまいます。
ここではList[0]という結果でないと困るわけですが、list[-5]であれば、listの後ろから数えて5番目という意味になってしまいます。
しかしながら実行した結果は正常になっています。
ということはlist[j-step]はlist[0]になっているのでしょうか？

list = [4,3,9,1,5,6,8,2,10,7]
step = len(list)//2
while step > 0:
    for i in range(step,len(list)):
        temp = list[i]
        for j in range (i, -1, -step):
            if list[j-step] >= temp:
                list[j] = list[j-step]
            else:
                break
        list[j] = temp
    step //= 2
print(list)
        

Comments

[ikedas]

元のソースの出所 (著者名、題名、出版社、ページ) を明記して下さい。。