p≡n≡1 (mod 4) である奇素数pと奇数n≧5について、
p^(n-1)+p^(n-3)+…+p^2+1 は少なくとも一つ、(p+1)/2のどの素因数よりも大きな素因数を持つ

関連の論文を読めば、このあたりの事実は理解できる
結局は１が関連の研究に無知だということだ