定理　x是模p 的二次剩余充要条件是x^[(p-1)/2]≡1 mod p　　　x是模p 的二次非剩余充要条件是x^[(p-1)/2]≡ -1 mod p设　a b是两个二次非剩余.则(ab)^[(p-1)/2]≡a^[(p-1)/2] *b^[(p-1)/2]≡(-1)*(-1)≡1mod p所以...