Cho $a,b,c,n,u,v,h$ là các số nguyên dương, $b,c$ là số lẻ thỏa mãn:
$\left\{\begin{matrix} n=2^s &\\ a-1=2^u.b &\\ a^2-1=2^v.c \end{matrix}\right.$
Đặt $h=ord_n(a)$
Chứng minh rằng:
1) Nếu: $u\geq s$ thì $h=1$
2) Nếu: $u<s$ thì $h=2^{max(1;s-u+1)}$