>>187
k+2が常に素数だなどとは言っていない
()の中が全て0になるとき（この条件式の中にもkは現れる）はk+2が素数だ、というだけ
「xは素数である」という命題はゲーデル数を用いて再帰的関数で表現できるので、
「()の中が全て0になるのはk+2が素数のときに限る」を満たす多項式が存在すること自体はそれほど意外な事実ではない
需要なのは、そのような多項式を具体的に、しかも、次数も変数の数も小さいものを発見したこと