>>79

＞2q≡a (mod m), a>0
＞n≡b (mod m)
＞とする。
＞b=0の場合には、p+2q≡0 (mod m)となるから
＞p?0 (mod m)となる。

細かいことだが、ここも間違っている。n＝3p, p＝q, p は素数, m＝p, a＝2q, b＝0 の場合は、
2<=m<=n-1
2q≡a (mod m), a>0
n≡b (mod m)
b＝0
p+2q≡0 (mod m)
を全て満たすが、しかし p≡0 (mod m)であり、p?0 (mod m) になってない。


＞b>0の場合には
＞p+2q≡b (mod m)
＞となるから
＞p≡b-a (mod m)
＞となることが必要となる。

これは b＞0 だからこその条件ではない。b≦0 であっても
p+2q≡b (mod m) であることに違いはないから、
b の如何によらず、どのみち p≡b-a (mod m) となることが必要である。


＞n>5のnに対し、b=0の場合はp?0 (mod p)となり

ここは完全に間違っている。明らかに p≡0 (mod p) である。
また、それ以前の議論によって p?0 (mod p) が導かれるようなこともない。