Ontify
Generalization of Fermat's little theorem, that given coprime positive integers 𝑛 and 𝑎, then the φ(𝑛)-th power of 𝑎 is congruent to 1 modulo 𝑛, where φ is Euler’s totient function.