■2次合同式(その13)
[定理]+2は8n+3型素数および8n+5型素数の平方非剰余である.
(2/p)=+1・・・pが8n+3型素数および8n+5型素数のとき
=−1・・・pが8n+3型素数および8n+5型素数のとき
===================================
[第2補充則]
(2/p)=(−1)^(p^2-1)/8
===================================