x\equiv 0\pmod 3