x\equiv y\pmod 4