nを自然数、pを素数とするとき、
(n^2+1)(5n^2+9)-2p
が平方数となる(n,p)の組が無数に存在することを示せ。