>>42
＞2p^(4k+1)*Π(q^2)={1+p+…+p^(4k+1)}*Π(1+q+q^2)…※
＞補題1より1+q+q^2の素因数rは3あるいはr≡1　(mod　3)のものに限られる。
＞r=3のときは明らかに3はmの素因数
＞r≡1　(mod　3)の場合も、補題2よりr^2+r+1は3で割り切れる。
＞よって、mは3を素因数に持つ。

1+q+q^2の素因数がpしかない場合も考えないと3|mとは言えないでつ。