The order ordn a also divides λ(n), a value of the Carmichael function, which is an even stronger statement than the divisibility of φ(n).
Rząd ordn a również jest dzielnikiem λ(n), wartość funkcji Carmichaela, co jest nawet silniej stwierdzone niż podzielność of φ(n).