Veya şöyle söyleyecek olursak, $a=p_1^{r_1}.p_2^{r_2}...p_n^{r_n}$ ise bu asalların hepsi $EBOB(b,p_1)=p_1$, $EBOB(b,p_2)=p_2$,...$EBOB(b,p_n)=p_n$ şartlarının hepsi sağlanmalıdır. Çünkü eğer böyle olmazsa, örneğin $EBOB(b,p_1)=1$ olursa, $b (mod q_1)=k$ olur, devamında mod alma işlemine devam edersek $b^2 (mod q_1)=n$ olur ve bu işlem sürekli devreder. Dolayısıyla belirttiğim şart sağlanmalıdır ki $\frac{1}{a}$ sayısı $b$ tabanında devirlidir.