x \equiv y(mod\ ab)\quad ,\quad (0\le y< b)