途中で送信してしまったけど、

ある奇数tで、s=c×2^{q_r-1}-tpと書けて、
これを@:s×(p+1)^{q_r-1}=c(1+p^2+・・・+p^{n-1})×2^{q_r-1}に代入したのね。