Fermat's little theorem
は と互いに素であるため、フェルマーの小定理により