模 nnn 乘以 kkk 只是把 1,…,n−11,\dots,n-11,…,n−1 按新的顺序重新编号——正因为 kkk 与 nnn 没有公因子,这就像洗一副牌,既不丢牌也不重复。
由于 gcd(n,k)=1\gcd(n,k)=1gcd(n,k)=1,乘以 kkk 在模 nnn 的剩余类上是一个双射;记 rir_iri 为 ik mod nik\bmod nikmodn 在 {1,…,n−1}\{1,\dots,n-1\}{1,…,n−1} 中的代表元(它非零,因为 0<i<n0<i<n0<i<n 且 gcd(k,n)=1\gcd(k,n)=1gcd(k,n)=1 蕴含 ik≢0ik\not\equiv0ik≡0)。当 iii 遍历 1,…,n−11,\dots,n-11,…,n−1 时,rir_iri 的值按某种顺序恰好遍历 MMM 的所有元素各一次。