素的集合formula_14，其中formula_15是模"q"的整数，是一个有限域。"X"中的乘法运算定义为：由于"q" > 2，因此formula_17和formula_18位于X内。任何两个位于"X"内的数的乘积也一定位于"X"内，但它不是一个群，因为不是所有的元素"x"都有逆元素"y"，使得"xy" = 1。如果我们只考虑有逆元素的元素，我们便得到了一个群"X"*，它的大小最多为formula_19（因为0没有逆元素）。现在，由于formula_20，且formula_21，我们有formul