>>863
うわ。本当だ。すまんね。

12行目を変形して下式を得る
vp=2^(qr-1)ｗ-ｗf(pr) …(C式)

vとpとｗは定義より整数である
よってC式の左辺と右辺の各項は整数である
右辺第２項ｗf(pr)が整数であるが、この整数がｗの倍数であることが示されていない。よってf(pr)が整数であることは示されない。