x≡y(mod3)