x\equiv \beta (mod\ b)