Fermat's little theorem
which is Fermat's little theorem for the case and .