>>186
いや、そういうことではなくて、
f(V´、r´)とf(V、r´)の違いである。

V´とVでは意味が違うだろう。

補題3と4でも補題3はF(V、b)=0
補題4はF(V´、b)=0と書き分けられている。