給定 m , 對於任意和 m 互質的整數 a, 由 Proposition 3.2.5 知都可以找到一個和 m 互質的整數 b 使得 ab 1(mod m), 我們也提及雖然這樣的 b 並不唯一, 但在 modulo m 的分類之下它會是唯一的. 也就是說只有在除以 m 之下和 b 同餘的整數才會符合. 這種在 modulo m 之下乘法反元素的存在唯一性用 modulo m 之下的 reduced residue system 最容易表達.
對於唯一性, 我們先假設 rj, rk S 皆滿足 rirj 1(mod m) 以及 rirk 1(mod m). 因此得 rirj rirk(mod m). 但由於 gcd(m, ri) = 1, 利用 Corollary 3.2.4 得 rj rk(mod m). 但 S 是 reduced residue system modulo m 表示 S 中相異的元素在 modulo m 之下應是不同類的, 故由 rj rk(mod m) 知 rj = rk. 得證唯一性.
例如 S = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} 是一個 reduced residue system modulo 11, 在 modulo 11 之下我們有
反之, 若 a2 1(mod p), 表示 p| a2 - 1, 也就是說 p|(a - 1)(a + 1), 故因 p 是質數, 利用 Lemma 1.4.2 得 p| a - 1 或 p| a + 1. 也就是說 a 1(mod p) 或 a - 1(mod p).
現考慮 p > 2 的情形, 令 S = {r1,..., rp - 1} 由於 gcd(p, 1) = gcd(p, - 1) = 1 且 1 - 1(mod p) (否則 p| 2), 故分別存在 ri, rj S 其中 rirj 滿足 ri 1(mod p) 且 rj - 1(mod p). 因此不失ㄧ般性, 我們可假設 r1 1(mod p) 且 r2 - 1(mod p). 現考慮 ri S, 其中 3ip - 1. 依 Lemma 3.4.1 知存在唯一的 rj S 使得 rirj 1(mod p). 因為 ri ±1(mod p), 故知 rj ±1(mod p), 也就是說 3jp - 1. 又若 ri = rj, 會導致 ri2 1(mod p), 這與 Lemma 3.4.2 相矛盾, 故知 ij. 也就是說在 T = {r3,..., rp - 1} 中任取一元素 ri 必可找到唯一的另一元素 rj T 使得 rirj 1(mod p). 因此我們可以對 T 中這 p - 3 個元素兩兩配對 (注意 p 是奇數), 使得每一對中元素相乘後除以 p 會餘 1. 也就是說 r3 ... rp - 1 1(mod p). 因此我們得證
若 p 是一質數且 a 是和 p 互質的整數, 我們可以利用 Wilson's Theorem 找到在 modulo p 之下, a 的乘法反元素. 由於當 a ±1(mod p) 時 a2 1(mod p), 也就是說 a 本身在 modulo p 之下是自己的乘法反元素, 所以我們僅討論 a ±1(mod p) 的情況.
我們仍要強調一下雖然 Lemma 3.4.1 在一般的 m 都成立, 但 Lemma 3.4.2 需限制在質數時才成立, 所以 Wilson's Theorem 在 modulo 一般的 m 並不一定成立. 也就是說若 {r1,..., r(m)} 是一個 reduced residue system modulo m, 並不一定可以得 r1 ... r(m) - 1(mod m). 例如在 modulo 15 之下我們之還有 4 和 -4 滿足 42 (- 4)2 1(mod 15), 所以利用 Theorem 3.4.3 的證明方法 (或直接計算) 我們可得, 若 {r1,..., r8} 是一個 reduced residue system modulo 15, 則 r1 ... r8 1(mod 15). 雖然利用 Theorem 3.4.3 的方法我們可以將 Wilson's Theorem 推廣到一般 m 的情形, 不過此時對一個 modulo m 的 reduced residue system {r1,..., r(m)} 滿足 ri2 1(mod m) 的 ri 會有很多種情形, 討論起來較複雜, 在這裡我們就不多探討了.