>>218
d は 0 以上が前提になっています。また、b = d = 0 も考えない。

式(3)(6),　b >= 1, d = 0 のときのみ、　最後の-V_p(d) は -V_p(b)-m
と書きかえる。(もともとは、-V_p(b p^m + d) という項で、こう書けば場合分けはいらなかった）

この場合 2^128 で割れる？という部分が心配。

V( C(960, 64b ) 4^64b ) = 128 b + 6 + V(C(15, b)) + V(15 - b) - V(b) - 6

まあ〜 b >= v(b) ぐらいを考えて、2^127 でならわれるでしょう、というあたりでよしとする