50.Agar x y(mod m) bo`lsa, u holda ixtiyoriy butun koeffitsientli f(x)=a0xn+a1xn-1+... +an-1x+an, f(y)=a0yn+a1yn-1+...+an-1y+an ko`phadlar uchun f(x)=f(y) (mod m) taqqoslama o`rinli bo`ladi.
60.Agar bir vaqtda ai=bi (mod m)(i= ) va x= y (mod m) taqqoslamalar o`rinli bo`lsa, u holda
a0 xn+a1 xn-1l+...+an-1x +an = b0 yn + b1 yn-1 +...+bn-1 y+bn(mod m) taqqoslama o`rinli bo`ladi.
Natija. Taqqoslamada qatnashuvchi qo`shiluvchini o`zi bilan teng qoldiqli bo`lgan ikkinchi songa almashtirish mumkin.
70. Taqqoslamaning ikki qismini modul bilan o`zaro tub bo`lgan ko`paytuvchiga qisqartirish mumkin.
80. Taqqoslamaning ikki qismini va modulini bir xil musbat songa ko`paytirish, taqqoslamaning ikki qismi va moduli umumiy ko`paytuvchiga ega bo`lsa, u xolda bu taqqoslamaning ikki qismi va modulini bu umumiy ko`paytuvchiga bo`lish mumkin.
90. Agar taqqoslama bir necha Modul bo`yicha o`rinli bo`lsa, u holda bu taqqoslama shu modullarning eng kichik umumiy bo`linuvchisi bo`yicha ham o`rinli bo`ladi.
100. Agar taqqoslama biror m Modul bo`yicha o`rinli bo`lsa, u holda bu takdoslama modulning ixtiyoriy buluvchisi buyicha ham o`rinli bo`ladi.
110. Taqqoslamaning bir qismi va modulining EKUB bilan uning ikkinchi qismi va modulining EKUB o`zaro teng bo`ladi.
Barcha butun sonlarni ml natural songa bo`lganda 0, 1, 2, ..., m-1 qoldiqlar hosil bo`ladi. Bunday har bir qoldiqqa butun sonlarning biror sinfi mos keladi.