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

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

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

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

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

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

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

［５］ｐ＝３７→ｘ＝６，３１

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

［７］ｐ＝５３→ｘ＝２３，３０

［８］ｐ＝６１→ｘ＝１１，５０

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

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

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

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