任意の自然数 n に対して，
x^2 - 34y^2 ≡ -1 (mod. n)
は自然数解を持つことを示せ．