>>92
b<=0の場合に関しては何もいっていないので、私が書いた内容に誤りはない。
b<=0の場合も同じだというだけだ。

＞ここは完全に間違っている。明らかに p≡0 (mod p) である。
ここの部分は、そちらが完全に間違っている。
b=0の場合には、n=p+2q≡0 (mod m)で、
2q≡a (mod m), a>0
p+a≡0 (mod m)
だから、p?0 (mod m)となる。