フェルマーの小定理
The quotient is well-defined because of Fermat's little theorem.