这里提到了$0\leq x<p$，很多人说是因为欧拉定理。

但是欧拉定理的这个推论不是$a^x\equiv1(mod \ n)$，$r$为$\phi(n)$的因数吗，如何与这个方程中的$b$建立关系？或者是如何进一步推出这个方程中$0\leq x<p$成立？