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