p"互质的整数。考虑以下数组：formula_1以及它们对"p"的最小非负剩余。这些剩余两两不等，因此我们共有formula_2个两两不等的介于1和"p"之间的整数：formula_3。设其中有"n"个数比"p"/2大，那么高斯引理声称：上式左边是勒让德符号，当其值为+1时，表示"a"是模"p"的二次剩余；其值为-1时，表示"a"是模"p"的二次非剩余。用通俗的语言来说，就是：如果formula_3里面比"p"/2大的有偶数个，那么"a"是模"p"的二次剩余，如果有奇数个，那么"a"是模"p"的二次非