xについての方程式
x^k+131x+377=0
が整数解を持つように自然数kを定めることができる。このことを示せ。