的一个 素数。formula_10 与 formula_7 互素。定义三次剩余符号formula_12 为一个三次单位根，并满足再定义“原初”素数是模formula_14同余于formula_15的素数。由于每个素数在乘以formula_2中的一个单位元后都会成为“原初”素数，因此关于“原初”素数的定律仍具有普遍性。这时，三次互反律说明，对两个不同的“原初”素数 formula_7 和 formula_18，有 此外有辅助定理：如果 formula_20 那么：由于因此可以计算任意艾森斯坦整数