>>560
aをpで割り切れない整数とするとき、(a/p)をルジャンドルの記号とする。

pが4を法として1に合同であるような素数だから
1=(-1/p)=(-4/p)だからx^2≡-4 (mod p)が解sを持つ
{ {s/2}+1}^2≡s^2/4 +s+1≡s，このとき、{s/2}+1=tとおくとt^4≡-4 (mod p)
明らかにtはpと互いに素である
1≡-4n≡t^4*n (mod p)よってn≡(1/t)^4 (mod p)となるから
a^4≡n (mod p)を満たす整数aが存在することがいえた。

>>562
ガッ