空欄aがcurr←curr.nextになる理由がわかりません...
その前の行でprev←currとあるので、curr←curr.nextでもcurr←prev.nextでもやってることは変わらないと思うんですが、なぜcurr←curr.nextに限定されるのでしょうか。
解説見てもわからないので教えてくださると助かります。

その本を持っていないので正確には分かりませんが

直前    prev = curr
その後  curr = curr.next
であれば「curr = curr.next」を「curr = prev.next」にしても同じ結果です。

ただ「その後」の部分が複数回行われるような場合には意味が変わってきます。

curr = prev.next
は何回やってもprevの次の要素を指します。
※[0, 1, 2, 3, 4] prevが１の場所であった場合、何回やってもprevは変わらないので次の２を指します。

curr = curr.next
を何回もやると、currを次の要素に順繰りに進めていきます。
※[0, 1, 2, 3, 4] 
  １回目：currが１の場所であった場合、２を指す。
  ２回目：currが２になるので，３を指す。
  ３回目：currが３になるので・・・と進んでいきます。

とても分かりやすい説明感謝します
一周目のトレースでつっかえてしまってもその先に進むのが大事なんですね
本当にありがとうございます