Fermat's little theorem
The quotient is well-defined because of Fermat's little theorem.