定义

若一个整数$a$被一个整数$m$除的时候得到的商$q_1$和唯一的一个余数$r$，另一个整数$b$也被$m$除时得到商$q_2$，得到的唯一余数也是$r$（其中$0 \leq r < m$），即