この問題解いて頂けませんか？どうしても分からなくて

n^2 + 1（nは任意の自然数）の素因数pについて、
p=x^2 + y^2 を満たす自然数x,yの組が必ず存在することを証明せよ。