中国の剰余定理
これは明らかに次のように拡張できる。すなわち:
与えられた k 個の整数 m1, m2, ..., mk がどの二つも互いに素ならば、任意に与えられる整数 a1, a2, ..., ak に対し
x ≡ a1 (mod m1),
x ≡ a2 (mod m2),
...
x ≡ ak (mod mk)
を満たす整数 x が m1m2...mk を法として一意的に存在する。