>>42の訂正
Π(1+q+q^2)は1+3+3^2=13で割り切れるので※の左辺は13で割り切れる
p=13のとき
2p^(4k+1)*Π(q^2)={1+p+…+p^(4k+1)}*Π(1+q+q^2)=(p+1){1+p^2+…+p^(4k)}*Π(1+q+q^2)…○
だからmは7で割り切れる。
Π(1+q+q^2)は1+7+7^2=57=3*19で割り切れ、mは19で割り切れる。
Π(1+q+q^2)は1+19+19^2=381=3*127で割り切れ、mは127で割り切れる。
※の右辺は27で割り切れるが、左辺は27では割り切れないから不合理。
p≠13のとき
mは13で割り切れる。
Π(1+q+q^2)は1+13+13^2=183=3*61で割り切れる。
p=61のとき
○よりmは31で割り切れる。
Π(1+q+q^2)は1+31+31^2=993=3*331で割り切れ、mは331で割り切れる。
※の右辺は27で割り切れるが、左辺は27では割り切れないから不合理。
p≠61のとき
mは61で割り切れる。
Π(1+q+q^2)は1+61+61^2=3783=3*13*97で割り切れ、mは97で割り切れる。
p=97のとき
○よりmは7で割り切れる。
※の右辺は27で割り切れるが、左辺は27では割り切れないから不合理。
p≠97のとき
mは97で割り切れる。
※の右辺は27で割り切れるが、左辺は27では割り切れないから不合理。