这是著名的Euler准则的一部分。对任意整数1<=i<=p-1,总存在惟一的整数j有i*j用p除余数为b，由于b是p的二次非剩余,故i不等于j，因此1,2,…,p-1分为(p-1)/2对，每对之积同余b，故有(p-1)! 同余b^((p-1)/2),由Wilson定理可知(p-1)!又同余-1，故得b^((p-1)/2)=-1 (mod p)
