内容 第一章 · 同余的一般概念 · 09
术语线索
producta / potestates / series factorum
乘积 / 幂 / 因子列。
命题
Products of corresponding congruent factors are congruent; powers are a special case.
逐项同余的因子相乘后仍同余；幂只是这种情形的特例。
读法 现代白话辅助
若每个因子都可以替换成同余的代表，整个乘积也可以替换。这一条是后面把 `a^n` 化成小余数的基础。
分步证明Step-by-step proof
1 / 2先用上一条证明两个因子的乘积保持同余。
再逐个加入更多因子，得到任意有限乘积和正整数幂的情形。
小例 worked example
题
已知 a ≡ 2 (mod 5)，求 a³ 的模 5 剩余。
解
a³ ≡ 2³ = 8 ≡ 3 (mod 5)。
我的笔记 自动保存