Cho p là một số nguyên tố. Cho A là một vành lọc và (Jr)r∈Z là lọc của nó. Giả sử rằng J0=A và p.1A∈J1. Cho a và b là các phần tử của AJ và r∈N. a) Nếu có ad≡bdmod.Jr với mọi d∈Jn, thì có Φn(a)≡Φn(b)mod.Jr+k trong đó k=wp(n). b) Giả sử rằng, với mọi số nguyên m≥1 và mọi x∈A, quan hệ p.x∈Jm+1 kéo theo x∈Jm. Nếu có Φd(a)≡Φd(b)mod.Jr+wp(d), với mọi d∈Jn, thì ad≡bdmod.Jr với mọi d∈Jn.