>>694
ありがとうございました!
合同式はまだやってないです…

>>695
√(5(n+8))と変形して、(n+8)=5*m^2 (mは2以上の自然数)
をみたす非負の整数nが存在するので、題意はみたされる。
は、全くの見当違いなんでしょうか?