mula_9 和 formula_10 是在具有 formula_8 特征的交换环上的代数，那么 formula_7。此理论可透过研究二项式系数的质数因数而论证：第 "n" 个二项式系数为 formula_27。由于分子是 formula_8 的阶乘，所以可以被 formula_8 整除。不过当 formula_30 之时，formula_31 和 formula_32 都少于 formula_8，因而两者都不能被整除。但二项式系数必然是整数，因此第 "n" 个二项式系数可被 formula_8 整