另一方面，2是模formula_10的二次剩余，这是因为formula_41，因此formula_42。根据欧拉准则，可得：接着，定义formula_44，并像前面那样，定义"X"*为formula_45的乘法群。我们将用到以下的引理：（根据费马小定理），以及对于所有整数"a"（费马小定理）。那么，在群"X"*中，我们有：简单计算可知 formula_49。我们可以用这个结果来计算群"X"*中的formula_50：其中我们用到了以下的事实：由于formula_53，我们还需要做