Fermat's little theorem
The theorem is a generalization of Fermat's little theorem, and is further generalized by Carmichael's theorem.