ula_9是素数时才能发生。假设formula_9是素数。根据欧拉准则，有：其中formula_23是勒让德符号。利用重复平方，我们可以发现formula_24，因此formula_25，以及formula_26。因为formula_27，根据二次互反律，我们便可以得出结论formula_28。