Изменения

{{Лемма

|id=l1

|statement=

<math>ord(a*b)=LCM(ord(a), ord(b))</math>, где <tex>ord(a)</tex> {{---}} [[порядок числа]] по модулю p, а <tex>LCM</tex> {{---}} наименьшее общее кратное двух чисел (least common multiple).

{{Лемма

|id=l2

|statement=

Пусть <math>ord(a)=x*y</math>, НОД<math>(x,y)=1</math>. Тогда <math>ord(a^x)=y</math>.