k^2+1の形で表せる数の素因数の素数はすべて2か4n+1型の素数だし、k^2+2の形で表せる数の素因数の素数はすべて2か8n+1,8n-5型の素数だね

もしかしてすべての既約多項式の素因数の素数も、
例外的な素数を除いて、ある数を法としたときの余りがいくつになる素数とかいう風に言えるのかな