===p=6a+1のとき===
<nowiki>
p+2=6a+3=3(2a+1)なのでこれは3の倍数になる
<nowiki>2a+1=bとおくと2p=(2p)''=(2a+1)+3b'となる</nowiki>
これが偶数ということはb'は奇数
このとき明らかにc+dは奇数
</nowiki>
===p=6a-1のとき===
===p=6a-1のとき===
<nowiki>
p+5=2(3a+2)は偶数
<nowiki>3a+2=bとおくと(5p)''=(3a+2)+2b'となる</nowiki>
左辺は奇数なのでaは奇数
mod5で考えるとc+2b'は5の倍数
</nowiki>