$R$ değişmeli bir halka ve $\mathfrak{p}_1,\cdots,\mathfrak{p}_n$ ikili ikili aralarında asal ideller ise $$R/\prod(\mathfrak{p}_i)\simeq \prod R/\mathfrak{p}_i$$ Bu fonksiyonun tanımı da şudur: $$x+\prod(\mathfrak{p}_i)\longrightarrow (x+\mathfrak{p}_1,\cdots, x+\mathfrak{p}_n)$$