[定理]-1は4n+1型素数の平方剰余であり,4n+3型素数の平方非剰余である.
(2/p)=+1・・・pが4n+1型素数のとき
=-1・・・pが4n+3型素数のとき
===================================
[第1補充則]
(-1/p)=(-1)^(p-1)/2