9k^2+5k+7が素数にならない事を証明すればいいんじゃないの？
さっと見たから間違いかも。