Fermat's little theorem
An analogue of Fermat's little theorem is true in formula_25: if formula_56 is not divisible by a prime formula_57,