n^2+7が2^kの倍数となる自然数の組(n,k)は無数に存在することを示せ。