(e-s/2)(p+1)=ep+f =bである。
言い換えると、bを(p+1)とpで割った商がそれぞれ (e-s/2)とeということ。
ゆえに(e-s/2)とeが異なっていても何も問題は無いし、
s=0だと矛盾すると言うのだから等しい筈は無い