補充章節 — 素數和模算術 — 邏輯
數學證明 — 集合論和無窮過程 — 計數和生成函式 — 離散機率
矩陣 — 進一步模算術 — 數學規劃 — 馬爾可夫鏈
1. 假設在模 m 算術中我們知道 x ≠ y 並且
找到 m 的至少 2 個因數。
2. 推匯出卡邁克爾函式的公式，λ(m) = 使 aλ(m) ≡ 1 (mod m) 成立的最小數。
3. 令 p 為素數，使得 p = 2s + 1 對於某個正整數 s。證明如果 g 在模 p 中不是平方，即不存在 h 使得 h2 ≡ g，那麼 g 是模 p 的生成元。也就是說 gq ≠ 1 對於所有 q < p - 1。
