3
任意の法miとmj (i≠j) が互いに素である時、n本の連立合同式
ix≡ai mod mi (i=1, 2, …, n)
はm1m2…mnを法として唯一つの解を持つ。