Cho A là một vành. Cho n∈J. Cho (ad)d∈Jn−{n} là một họ các phần tử của A. Đặt ud=Φd((ae)e∈Jd) với d∈Jn−{n}, và cho un là một phần tử của A. Với mọi số nguyên tố p∈Jn, giả sử thêm rằng đã cho một tự đồng cấu σp của A sao cho σp(a)≡apmod.pA với mọi a∈A. Khi đó các điều kiện sau là tương đương : a) Tồn tại một phần tử an của A sao cho un=Φn((ad)d∈Jn). b) Với mọi số nguyên tố p∈Jn, ta có un≡σp(un/p)mod.pwp(n)A.