[問]
pを、4を法として1に合同であるような素数とする。
p=4n+1とすると、nはpを法として4乗剰余であること、つまり
a^4≡n (mod p)を満たす整数aが存在することを証明せよ。