现在有一项阅读理解的任务，我会提出一个问题，还会提供一段文本，你需要通读这段文本，然后根据这段文本回答我所提出的问题。问题：三次互反律的辅助定理是什么？，文本：在数学中，三次互反律是关于模代数中两个对应的三次方程的可解性之间的关系的结论和定理。三次互反律最常使用艾森斯坦整数进行表述。艾森斯坦整数是指由形如 formula_1 的复数组成的环，记作 formula_2。其中 formula_3 和 formula_4 是整数，formula_5 为三次单位根：如果 formula_7 是formula_2中范数为 formula_9 的一个 素数。formula_10 与 formula_7 互素。定义三次剩余符号formula_12 为一个三次单位根，并满足再定义“原初”素数是模formula_14同余于formula_15的素数。由于每个素数在乘以formula_2中的一个单位元后都会成为“原初”素数，因此关于“原初”素数的定律仍具有普遍性。这时，三次互反律说明，对两个不同的“原初”素数 formula_7 和 formula_18，有此外有辅助定理：如果 formula_20 那么：由于因此可以计算任意艾森斯坦整数的三次剩余。
如果 formula_20 那么：由于因此可以计算任意艾森斯坦整数的三次剩余。