个二项式系数，因此可证 formula_7。结果也证明 "p" 次方制造了自同态，又称交换环的弗罗贝尼乌斯自同态。在此方程中，formula_8 必须是质数才可成立。有一相类近的定理指出，当 formula_8 是质数的话，在formula_38多项式环中，formula_39。此定理成为现代质数测试中的关键。