x\equiv \alpha (mod\ a)