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

こちらの問題の解答がわかりません至急知りたいので教えて下さい宜しくお願いします。