_8大的有三个：formula_9。3是奇数，因此由高斯引理得到结论：7是模11的二次非剩余。这个结论是正确的，因为模11的全部二次剩余是formula_10，不包括7在内。
证明.一个常见的简单证明用的是一个令人联想到费马小定理之最简单证明的方法：考虑乘积用两种方式模"p"之后，一方面可以得到：另一方面，我们将formula_13中每一个比formula_14大的数都减去"p"，这样我们得到一个新数组formula_15，其中每个数都介于formula_16与formu