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

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

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

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

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

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

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

［５］ｐ＝４１→ｘ＝１７，２４

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

［７］ｐ＝７１→ｘ＝１２，５９

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

［９］ｐ＝７９→ｘ＝９，７０

［10］ｐ＝８９→ｘ＝２５，６４

［11］ｐ＝９７→ｘ＝１４，８３

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