首先我們將 m 寫成質因數的乘積, 即 m = 2n0p1n1 ... prnr, 其中這些 pi 為相異奇質數而 n0 0. 利用 Corollary 4.4.3, 我們知道 xn a(mod m) 有解若且唯若 xn a(mod 2n0) 以及所有的 i {1..., r}, xn a(mod pini) 皆有解. 所以我們只要探討 xn a(mod 2n0) 及 xn a(mod pini) 解的情況. 當 n03 時, 由於在 modulo 2n0 沒有 primitive root, 討論解的情形較複雜, 這裡我們不多做討論. 我們僅討論當 n02 的情形, 也就是說此處我們探討解 xn a(mod m) 的方法僅適用於 8m 的情況. 在此情況之下我們只要解 xn a(mod 2n0), 其中 n02, 以及解 xn a(mod pini). 這兩種情況 (即 modulo 2n0 和 modulo pini), 由於 primitive root 皆存在, 我們利用下面的方法就可判別其解是否存在.
反之, 假設 為 modulo m 之下的一個 primitive root. 依定義 {,,...,} 是一個 reduced residue system modulo m, 也就是說任何和 m 互質的數 b, 皆存在 i 使得 b(mod m). 因此存在 r 使得 a (mod m). 另一方面若 c 是 xn a(mod m) 的一個解, 則由於 gcd(c, m) = 1, 一定也存在 t 使得 c (mod m). 因此要解 xn a(mod m) 就等同於要找到 t 使得
當 m = p 為一質數 (此時 modulo p 當然有 primitive root) 且 n = 2 時, Theorem 6.4.1 就是 Euler's criterion (Theorem 5.3.3). 所以 Theorem 6.4.1 可以說是 Theorem 5.3.3 的推廣.
接下來我們要知道 xn a(mod m) 要是有解, 那麼在 modulo m 之下會有多少解. 和往常一樣, 我們所用的方法是直接探討兩個解之間的關係, 如此一來不只可以精確地算出解的個數, 而且可以很快的利用一個已知解將其他的解求出.
事實上, 若 x c(mod m) 是 xn a(mod m) 的一個解且 是 modulo m 之下的一個 primitive root, 則在 modulo m 之下 x c(mod m), 其中 t {0, 1,..., d - 1} 是 xn a(mod m) 所有的解.
我們證得了若 x c (mod m), 是 xn a(mod m) 的一個解, 則 x c(mod m), 其中 , 是 xn a(mod m) 所有的解. 不過這些解在 modulo m 之下有許多是相同的, 我們必須將有哪些相異解找出. 然而 c 和 m 互質, 故由 Corollary 3.2.4知 c c(mod m) 若且唯若 (mod m). 再利用 ordm() = (m) 以及 Proposition 6.1.6 知 (mod m) 若且唯若 (m)/d (m)/d(mod (m)) 也就是說 (m)|( - )(m)/d 亦即 d| - . 因此當 0td - 1 時, c 在 modulo m 之下皆相異. 另一方面對任意 皆存在 h, t 使得 = hd + t, 其中 0td - 1. 所以 c 在 modulo m 之下都會與某個 c 同餘, 其中 t {0, 1,..., d - 1}. 因此我們得證 xn a(mod m) 若有 x c(mod m) 這一個解 則在 modulo m 之下 xn a(mod m) 共有 x c, c, c,..., c 這 d 個解.
接下來我們利用一個實際的例子解釋 Proposition 6.4.1 和 Proposition 6.4.2 所得之結果.
由於 27 = 33 所以在 modulo 27 之下 primitive root 是存在的. 又 (27) = 18 且 gcd(12,(27)) = gcd(12, 18) = 6 利用 Proposition 6.4.1 我們可分別由 10(27)/6 = 103 和 113 在 modulo 27 是否為 1 來判定 x12 10(mod 27) 和 x12 11(mod 27) 是否有解. 事實上 103 1(mod 27) 且 113 8 1(mod 27), 所以 x12 10(mod 27) 有解而 x12 11(mod 27) 無解.
要找出 x12 10(mod 27) 的解, 首先需先找到 modulo 27 的一個 primitive root. 由於 2 是 modulo 3 的 primitive root 且 22 4 1(mod 9), 所以由 Lemma 6.3.4 知 2 在 modulo 9 是 primitive root. 因而由 Proposition 6.3.7 知 2 在 modulo 27 之下依然是 primitive root. 既然 2 是 modulo 27 的一個 primitive root 經計算我們知 26 10(mod 27) 且可以將 x12 10(mod 27) 的一解寫成 x 2t(mod 27) 的形式. 也就是說我們要解