Задача
NT-B2-M03-P006 Критерий порядка
#6
★★★☆☆ Уровень 3 из 5
Пусть \( \gcd(a,m)=1 \) и \(d=\operatorname{ord}_m(a)\). Докажите, что \(a^k\equiv1\pmod m\) тогда и только тогда, когда \(d\mid k\).
Разделите \(k\) с остатком на \(d\).
Пусть \(k=qd+r\), где \(0\le r
Это главный факт модуля; его стоит отдельно проговорить.