［定理］−２は８ｎ＋３型素数の平方剰余であり，８ｎ＋５型素数の平方非剰余である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　　ｘ^2＝−２　　（ｍｏｄｐ）

［１］ｐ＝３→ｘ＝１，２

［２］ｐ＝１１→ｘ＝３，８

［３］ｐ＝１７→ｘ＝７，１０

［４］ｐ＝１９→ｘ＝６，１３

［５］ｐ＝４１→ｘ＝１１，３０

［６］ｐ＝４３→ｘ＝１６，２７

［７］ｐ＝５９→ｘ＝２３，３６

［８］ｐ＝６７→ｘ＝２０，４７

［９］ｐ＝７３→ｘ＝１２，６１

［10］ｐ＝８３→ｘ＝３２，４１

［11］ｐ＝８９→ｘ＝４０，４９

［12］ｐ＝９７→ｘ＝１７，８０

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝