本来同じであるべきだから強豪プログラムではインデックスの写像も用意してるけど
「リバーシプログラムの作り方」では簡単にするために端折ったんでしょ