>>186
ｋは非負整数なので　ｋ＋２＞０

右の因数は、1-()^2-()^2-()^2・・・-()^2
の形をしており、この多項式が素数になる限り、0か１しかとりえない

しかし、０のときは多項式は０になり不合理

１のときは多項式はk+2になるがこれが常に素数ではない

以上により定理は間違っている