3(2b+1)+1\)で1余る。3で割って1余るものは、\(3n+1\)って書けて、これを2倍すると\(3(2n)+2\)で2余る。それで、\(q=1\)の時に2余るんだから、\(q\)が奇数だったら、絶対あまりは2だね。最後までいくかな?いつも通り、図にまとめてみよっかな。\(2^{q}+q^{2}\)は3より大きいから、素数になりうるのは、\(q\)が3の倍数になるときだけだね。\(q\)は素数なんだから、それって、\(q=3\)しかありえないね。