6
連立合同式
x≡ai mod mi
が解を持つための必要十分条件は
ak≡al mod(mk, ml)
であり、解はLを法として唯一つである。