■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

===================================