... Tất cả các số này đôi một không đồng dư với nhau theo mô un p. Do đó các số a, 2a, 3a, ; (p - 1)a cũng đôi một không đồng dư với nhau rtheo mô un p. Bởi vì ngược lại nếu có r1a ≡ r2a (mod ... m2q1q2 <=> ac - bd = m(bq2 + dq1 + mq1q2) => ac - bd m => ac ≡ bd (mod m). Hệ quả : a) a1 ≡ b1 (mod m) , a2 ≡ b2 (mod m) , , an ≡ bn (mod m) => a1.a2.a3. ... <=> (a + c) - (b + d) = m.(q1 + q2) => (a + c) - (b + d) mHay a + c ≡ b + d (mod m) Hệ quả : a1 ≡ b1 (mod m) , a2 ≡ b2 (mod m) , , an ≡ bn (mod m) => a1 + a2 +...