Order of an Element Divides Every Annihilator - Expii

If A^M is 1 mod N, then the order of A modulo N is a divisor of M. In particular, by Fermat-Euler, if A is coprime to N, then the order of A divides φ(N).