Fermat's little theorem
If is not divisible by , Fermat's little theorem is equivalent to the statement that is an integer multiple of , or in symbols: