Ta`rif. Agar f(x) = a0xp+a1xn-1 +...+an-1 x+an ,aiZ, r-tub son, a0con r ga bo`linmasa, u holda ushbu
f(x) 0(mod p) (6)
taqqoslamaga tub modulli p-darajali bir nomat`lumli taqqoslama deyiladi.
Teorema. Agar (6) taqqoslamada a0 bosh koeffitsient r ga bo`linmasa, u holda (6) taqqoslama bosh koeffitsienta 1 ga tent bo`lgan boshqa bir taqqoslamaga teng kuchli bo`ladi.
Teorema. Agar f(x) va g(x) koeffitsientlari butun sonlardan iborat ko`pxadlar bo`lsa, u holda
f(x) 0(mod p), (7)
f(x)-(xp-x)g(x) 0(modp) (8)
taqqoslamalar teng kuchli bo`ladi.
Teorema. Darajasi n (n>r) bo`lgan r tub modulli taqqoslama darajasi r-1 dan katta bo`lmagan taqqoslamaga teng kuchli bo`ladi.
Teorema. Tub modulli n-darajali taqqoslama echimlari soni n tadan ortiq emas.